Removing references to the coq definition file.
Convert to Maven project.
Merge branch 'master' into redo-factorization

* master:
  Convert to Maven project.
  Removing references to the coq definition file.
Cleanup