Hardcoded version strings

Now that $Revision$ is useless in git, use hardcoded $VERSION strings,
which are easier to update.

Removed trailing whitespace from touched files