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.
fix copyOnShareSubstAndEval to call isNormal
Merge pull request #1241 from kframework/ruleParser

Rule parser
Keep location information of KItem in Java backend
Merge pull request #1252 from kframework/location-info-kitem

Keep location information of KItem in Java backend
Add --coverage-file option
add copyright
Merge pull request #1251 from dwightguth/fixcopyonshare

fix copyOnShareSubstAndEval to call isNormal
add javadoc
fix redundant