Add a script to strip trailing whitespace
Add a script to strip trailing whitespace

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

JasonGross/coq-scripts,JasonGross/coq-scripts