kframework/k — pull request #750 by dwightguth (2014-07-24 13:44:55+00:00)
Title: remove dependency on jopt-simple

@traiansf please review