attempt to fix issue 122
Also exclude rvmonitorr
t.jar
add additional prerequisites for installing the latest javamop
add the URL for downloading the rvmonitor
merge
Merge pull request #123 from runtimeverification/removedependency

attempt to fix issue 122