Usage
Coqloadpath
Coqargs
Coqinit