Added a predicate function to check whether a project is opened. Cleaned
up code.
Merge branch 'master' of github.com:gaudecker/mip-mode