catching JCommander exception on unknown parameters
Merge pull request #73 from runtimeverification/fixJCommanderException

catching JCommander exception on unknown parameters