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
This is to prevent the classloader from loading java.awt.color prematurely,
which would interfere with our ability to set whether the jvm is headless.
Do you want me to make a comment of it somewhere?
On Jul 16, 2014 7:01 PM, "Ömer Sinan Ağacan" <notifications@github.com>
wrote:

> In src/javasources/KTool/src/org/kframework/utils/ColorUtil.java:
>
> > @@ -376,25 +377,25 @@ private static String getEightBitTerminalCode(int code) {
> >          return "\u001b[38;5;" + code + "m";
> >      }
> >
> > -    public static String RgbToAnsi(Color rgb, ColorSetting colorSetting) {
> > -        colors(); //init static maps if needed
> > +    public static String RgbToAnsi(String rgb, ColorSetting colorSetting, Color terminalColor) {
>
> 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)
>
> —
> Reply to this email directly or view it on GitHub
> <https://github.com/kframework/k/pull/674/files#r15035404>.
>