Reorganize
Add coq_makefile intermediate files