Remove trailing whitespace

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