Math Classes Git module removed, SCons replaced by Coq Makefile