the documentation build gets the version number from here as well, and
the script that updates www.python.org/dev/doc/ needs to get an
updated version number