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
krun can do that. it's ktest that can't. If you want I can revert this, but then we have to take quine out of the regression test suite. I really don't want to keep the broken ability to specify configuration parameters that don't even exist.