Merge pull request runtimeverification#221 from xiaohe27/test

uncomment test

Merge pull request runtimeverification#216 from runtimeverification/f…

…ixClassPath

solve the classpath issue on both windows and linux

Merge pull request runtimeverification#208 from runtimeverification/U…

…nderscore_parsing_issue

parse MOP files with underscores in file names

Merge pull request runtimeverification#196 from runtimeverification/f…

…ixdashs

Fix dash s

Put base directory for javamop binary

Merge pull request runtimeverification#78 from runtimeverification/ad…

…dressDwight

Removing the need for regex or commons-lang