Use quotes when "necessary" in the coqtop argument window.
Use quotes when "necessary" in the coqtop argument window.

This is at least to be able to use spaces in file names (#11595).

In practice it protects also \, ', ", and many other symbols.

silene/coq,coq/coq,JasonGross/coq,ejgallego/coq,gares/coq,gares/coq,Zimmi48/coq,coq/coq,SkySkimmer/coq,ejgallego/coq,SkySkimmer/coq,JasonGross/coq,Zimmi48/coq,SkySkimmer/coq,JasonGross/coq,Zimmi48/coq,SkySkimmer/coq,gares/coq,silene/coq,gares/coq,JasonGross/coq,ejgallego/coq,coq/coq,silene/coq,coq/coq,ejgallego/coq,Zimmi48/coq,gares/coq