Remove translate2RV because it becomes the only option in JavaMOP now
Remove toRVString() and replace it with toString(), since translate2RV becomes the only option
Remove toJavaLib since now in JavaMOP it only changes file suffix from .aj to .java, nothing else
minor
Rename GenerateAgent to AgentGenerator
Merge pull request #87 from runtimeverification/cleanup

Cleanup