remove trailing whitespace

This was done using `sed --in-place 's/[[:space:]]\+$//' theories/*.v`.
7 jobs for ci/msammler/remove_whitespace in 16 minutes and 27 seconds (queued for 1 second)