refactoring/renaming in specCompiler and coreUtils
update mopsy call to newly-named unsatCores
Merge branch 'slurp-dev' of github.com:LTLMoP/LTLMoP into slurp-dev
comments, comments, comments