adding extra help option; fixes #64
Merge pull request #65 from runtimeverification/extraHelpOption

adding extra help option; fixes #64