Should pass arguments from `_CoqProject` to coqtop

[nomeata]

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.

[bluelightning32]

Done in #66