modify the troubleshooting section of README to provide another solution to code-size-too-big problem
revise troubleshooting section in readme a little
Merge pull request #153 from runtimeverification/document

modify the troubleshooting section of README to provide another solution...