kframework/k — pull request #424 by dwightguth (2014-05-07 23:06:52+00:00)
Title: refactor kast options

* delete --fast-kast option
* use JCommander for KAST
* remove all but one field in GlobalSettings

@radumereuta please review