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

add priority and assoc to kore.k