That allows the version to be updated and read atomically. If major/minor/patch are stored as separate variables, you can get an inconsistent set. Now it may be out of date by the time it is used, but it will never be internally inconsistent.
Add utility function for setting the server version from a MySQL handle.
