Backport Coq_makefile: quoting paths

Global paths (binaries & install dir) are quoted, local paths are never !

From a patch by Jason Gross.

Conflicts:
	tools/coq_makefile.ml
Fix bug 3369