Removed all of the local load paths for my computer, replaced
KopitiamMakefile with CoqoonMakefile, added the template file for the
makefile.