Track database version.
Track database version.

We can use this to disable the cache if there is a version mismatch,
or automatically upgrade the schema.

cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond