Fix integration test by adding path to javamop/bin
Fix agent generation test
Test environment
Fix CLASSPATH program by extracting CLASSPATH from maven
Fix windows script as well
format
Merge pull request #146 from runtimeverification/fixtest

Fixtest