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
Isn't execution option related with arguments that are passed to krun? (or in other words, it's related with krun and not related with the definition in any sense) Why is this info part of the definition context?