Add a script to strip trailing whitespace

Should probably also add a script to absoluteize imports from
coq-bug-finder.