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
you can't write a file to a location where a file with the same name is a directory without deleting the directory first. Doing that didn't seem like the right solution.