Use RVM Parser

Builds on #43, and depends on https://github.com/runtimeverification/rv-monitor/pull/75.

Unfortunately this still leaves in the JavaMOP AST classes, which duplicate a lot of the RV-Monitor AST classes but have diverged (mostly in the event definitions). It will take more work to use the RV-Monitor AST classes and drop the JavaMOP ones.