Don't mark generated Coq project Makefiles as derived resources

Derived resources are normally automatically excluded from version control,
and we really don't want that to happen for Makefiles
Fixed a bug in the Makefile load path generation code

Logical directories are now included in the COQFLAGS options