hotfix importing constants from model

George Katsikasrequested to merge
git_integration into master

Hotfix to move handle the moving of imports from constants.py to the ProofsRepository model.

Merge request reports