Remove un-used and out-dated scripts in JavaMOP/bin
Merge pull request #121 from runtimeverification/cleanscripts

Remove un-used and out-dated scripts in JavaMOP/bin

Merge for now since we discussed in person with Ali and He.