kframework/k — pull request #742 by dwightguth (2014-07-21 19:59:03+00:00)
Title: fix ktest to use JCommander

The last of the refactorings to remove Apache Commons CLI.

@osa1 please review.