Remove trailing whitespace

This was done using sed --in-place 's/[[:space:]]\+$//' theories/*.v.

closed

reopened

mentioned in merge request !131 (merged)

mentioned in commit f31dfc5c

merged