Store the version number in the config file

Per #419.