add priority and assoc to kore.k
Update kore.k
Update kore.k
Update kore.k
grrr... checkstyle
Update kore.k
Adding test for syntax priorities.
Infrastructure for rule parser.
Started to parse configuration.
Small changes to the disambiguation filters to work with the new AST format.
Better fix for the rule attributes cache.
Merge pull request #1240 from kframework/fixRuleCache2

Better fix for the rule attributes cache.
Reporting proper location information for configuration terms.
Parsing rules also.
Excluding for now the newparser tests since I'm working on parsing rules.
remove cell
fixed missing hashCode and equals
Merge branch 'master' of https://github.com/kframework/k into remove_cell

Conflicts:
	java-backend/src/main/java/org/kframework/backend/java/symbolic/KILtoBackendJavaKILTransformer.java
removed bagitem
minor fix