refactor krun options to use JCommander