Autodoc updates

This PR removes some obsolete files. It also makes sure the VERSION file stays up-to-date. Perhaps you don't want the latter, though -- in that case, let me know, and I can replace the last commit by one that simply removes the VERSION file. (Or you cherry pick just the first commit and do the latter yourself).