Remove prerequisite quoting
Remove prerequisite quoting

As per code review, quotes don't work in prerequisite paths, we'd need to escape spaces if there are any.  Hopefully there won't be, and we're just quoting for backslashes on Windows.

Co-authored-by: Guillaume Melquiond <43f1ac15e1612ec31474d70389158936df20a6d4@gmail.com>
SkySkimmer/coq,ejgallego/coq,ejgallego/coq,SkySkimmer/coq,coq/coq,coq/coq,Zimmi48/coq,Zimmi48/coq,ejgallego/coq,coq/coq,Zimmi48/coq,ejgallego/coq,SkySkimmer/coq,Zimmi48/coq,SkySkimmer/coq,coq/coq