Invalidating cache if the definition is out of date with the latest version of K.
Fine, catching something more concrete than Exception.
Refactoring a bit more.
Merge pull request #626 from kframework/invalidateCache

Invalidating cache if the definition is out of date with the latest version of K.
Merge branch 'master' into master2ub2
Merge pull request #632 from kframework/master2ub2

Master2ub2