Fixup notation printing in patterns

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16117 85f007b7-540e-0410-9357-904b9bb8a0f7
Coq_makefile: -extra & -phony-extra for user defined makefile rule

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16118 85f007b7-540e-0410-9357-904b9bb8a0f7
Coq_makefile: quoting paths

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

From a patch by Jason Gross.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16119 85f007b7-540e-0410-9357-904b9bb8a0f7