Require building with `copilot-core-4.2`. Refs #31.#33

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

T31-copilot-bluespec-4.2Copilot-Language/copilot-bluespec:T31-copilot-bluespec-4.2Copy head branch name to clipboard