Add a lint check for trailing whitespace to the make script

[domenic]

@tobie, I think, keeps checking in trailing whitespace.

[tobie]

Oh, you mean for empty lines? Yeah, I tend to prefer when empty lines keep the same indentation level as their context. As my text editor is set to display invisible characters, it make the structure stand out a bit more. I'm not very consistent about it, however.

If that's an issue for some, I'll just stop doing it. Do feel free to tap me on the shoulder if you see more of it in the future, though.

[tobie]

Oh, it's actually worse than I thought. Left some real trailing whitespace around. I guess I'm getting old. :D

[tobie]

Fixed trailing whitespace in 9280415.

[annevk]

I think you should clear all trailing whitespace as most specifications follow that convention and having to configure your editor on a per-specification-basis would be annoying. (Although admittedly we have that problem to some extent by not having consistent formatting conventions.)