Remove Versionfile.

Also remove 5 years old TODO file, this info should live in Github
issues if of interest.