Krun options

**please review**

* use JCommander for krun
* clean up krun frontend to be more generic
* fix some hacky behavior in some of the options
wait a minute, I think I did this wrong. Let me try to revert this part of the change and see what happens.