update rv-monitor-rt jar name for agent generation
Merge pull request #185 from runtimeverification/updateAgentJarName

Update rv-monitor-rt jar name for agent generation. addressed #184 and #179