remove the duplicated part in troubleshooting section
Merge pull request #174 from runtimeverification/document

remove the duplicated part in troubleshooting section