Rename migration to match table name.
Merge branch '1114-add_theorem_support' into develop
Merge branch 'develop' into develop.ontohub.org