Make VERSION in main.py authoritative

Now there is just one place to update the version. Note that the version
must be a double quoted string to pass the regex.

closes #10