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.
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
Merge pull request #1189 from kframework/feature/add-prority-and-assoc-to-kore-syntax

add priority and assoc to kore.k
Fixed READMEs in lambda++