update readme to remove some duplicated warnings
Merge pull request #164 from runtimeverification/readme

update readme to remove some duplicated warnings