Allow multiple triggers with the same name. Refs #30.#32

RyanGlScott merged 2 commits intomasterCopilot-Language/copilot-bluespec:masterfrom

T30-develop-multiple-triggersCopilot-Language/copilot-bluespec:T30-develop-multiple-triggersCopy head branch name to clipboard