Allow the message collection to be executed in a user-defined context
Merge pull request #1 from metaborg/context-sensitive-message-collect

Allow the message collection to be executed in a user-defined context.