Add support for VSCoq as additional editor for Coq
@sdailler made some experiment for that, but it seemed there was an issue to pass the option -R
to VSCoq. To investigate
@sdailler made some experiment for that, but it seemed there was an issue to pass the option -R
to VSCoq. To investigate