Added better error message for when SDF crashes, to indicate the line number of the rule in question.
Merge branch 'master' into sdfCrashMessage
Using RuntimeException instead of just Exception.
Adding warning suppressors for the RuntimeException from SDF parser.
Suppressor, one more time...
Learning by trying...
Merge pull request #1109 from kframework/sdfCrashMessage

Added better error message for when SDF crashes