add contents about integration java agent into IDE in README.md
remove redundant arrows
Merge pull request #145 from runtimeverification/addAgentUsage

Add agent usage