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