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