Delete trailing whitespace in src/

This needs doing periodically, and is best done to a whole bunch of files
at once.