add mute-some-output command-line implementation of konrad it will mute some out puts mentioned in Options.java