Add optional coqc args (untested)
Various changes to fix coqtop_args