Should pass arguments from _CoqProject to coqtop #63
Description
My _CoqProject file contains arguments (such as -R . Namespace) that need to be passd to coqtop. Other IDEs do this, and I can do it manually by passing it to :CoqLaunch. It would be nice if I did not have to do this manually, though.