Add a option to frontend specify location of rc-project.toml, dune-project and _CoqProject
From #37 (closed):
Can I specify a build directory where the first two [i.e. dune-project and _CoqProject] go so I can easily just ignore that directory? There will inevitably be a build directory that is already ignored so ideally they would be placed there.
Secondly, can I specify a location outside the working directory for RefinedC to load the TOML file instead? I don't like cluttering the root of the git repository as it tends to be very cluttered and messy from other dotfiles and whatnot, too.
dune has a --config-file option where one can specify a different config file. I'm not sure what _CoqProject is for specifically (I can't see anything in the output of coqc --help) so maybe that one has to be at the root.
Alternatively, doing a chdir to whatever the build directory is first and then running coq within that is also a solution - I believe either the -R or -Q flags might be helpful here.