catching JCommander exception on unknown parameters
Merge commit 'b2142d6999066da462ef8420cbf0caa0469534fb' of https://github.com/runtimeverification/javamop into Parser-Comparator
add two files illustrating the comparison between method bodies
add some comparison between the method bodies which reside in javamop and rv-monitor respectively
Merge branch 'Parser-Comparator' of https://github.com/runtimeverification/javamop into Parser-Comparator

Form server.