Set exec-path. Add Coq settings