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.
fix superheating and supercooling for java backend
Merge branch 'master' into superheat-supercool

Conflicts:
	kernel/src/main/java/org/kframework/compile/transformers/AddSuperheatRules.java
Merge branch 'master' into superheat-supercool
fix two broken tests
fix undesirable nondeterminism in callcc in lambda++
fix remaining lambda++ tutorial lessons
Merge pull request #1225 from dwightguth/superheat-supercool

fix superheating and supercooling for java backend
Better fix for the rule attributes cache.
Merge pull request #1240 from kframework/fixRuleCache2

Better fix for the rule attributes cache.
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