Add a "format" file, which says what version of instance the code requires.

This will let us (continuously) deploy new versions of the code that change the SQL schema, etc. For now, this just lets us rewrite the build script to depend on this file being here. Next, we'll make deploy.py exit if a suitably versioned instance isn't yet built.