Add a function to update the version number in config.inc.php

I’m not sure if this is the best place to put this method, but at least
it’s written now. Per #419.