Check (and forbid) trailing whitespace

[gallais]

Seeing how #17 fixes a lot of these, it would be nice to always keep the files clean.

Cf. https://github.com/agda/agda/tree/master/src/fix-agda-whitespace for how it's done in the agda repo.