added GUI configurable options.
only one so far is path to coq executable