explaining some jCommander option which can be confusing
for developers
clarifying a bit
Merge pull request #142 from runtimeverification/addComment

explaining some jCommander option which can be confusing
add contents about integration java agent into IDE in README.md
remove redundant arrows
Fix javamop script
Merge pull request #145 from runtimeverification/addAgentUsage

Add agent usage
Merge document