Merge pull request #221 from xiaohe27/test

uncomment test

Merge pull request #216 from runtimeverification/fixClassPath

solve the classpath issue on both windows and linux

Merge pull request #208 from runtimeverification/Underscore_parsing_i…

…ssue

parse MOP files with underscores in file names

Merge pull request #196 from runtimeverification/fixdashs

Fix dash s

Put base directory for javamop binary

Merge pull request #78 from runtimeverification/addressDwight

Removing the need for regex or commons-lang