Infrastructure for rule parser.
Started to parse configuration.
Small changes to the disambiguation filters to work with the new AST format.
Reporting proper location information for configuration terms.
Parsing rules also.
Excluding for now the newparser tests since I'm working on parsing rules.
Amending some of Dwight's comments. Adding back the tests.
Somehow IntelliJ decided not to show me these errors when I committed.
Small adjustment of the two parser options.
Fixing the last example.
Removing the tabs.
Merge pull request #1241 from kframework/ruleParser

Rule parser