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
Why use strings instead of enums for color? In other places you did the opposite. (for example in K.Tool, that was represented as a string before)