Adding support for parseInModule (for programs) - (collapsed history).
Forgot to add quote-unquote.kore
Merge pull request #1176 from kframework/parseInModule1Commit

Parse in module1 commit
fix compilation errors
syntax priority options
Merge remote-tracking branch 'origin/master' into feature/KORE-convertors
fix checkstyle issues
new test files
gave up spaces
lots of refactoring, improving interfaces, and fixed a bug

we were returning too early when encountering a UserList amoung other PriorityBlock blocks