Make weblab-admin upgrade command to upgrade the database
Move WEBLAB_CORE_SERVER_COORDINATION_IMPLEMENTATION to configuration_doc
Fix bug in configuration_doc
Support upgrading both the regular database and the scheduling database
Add initial revisions
Add initial upgrade for supporting exp_info