PG does not ignore comments in _CoqProject file

[Matafou]

_CoqProject file has a bash-like comment syntax. # starts a comment until the end of the line.

But if PG find a _CoqPrpjet file containing, e.g.

# -R . Foo

it will then consider the commented -R directive:

 coqtop -topfile <scriptfile> -emacs -R <expanded path> Foo