copilot-3.0: dependencies

Dependencies for copilot-3.0

library	base (>=4.9 && <5) copilot-c99 (>=3.0 && <3.1) copilot-core (>=3.0 && <3.1) copilot-language (>=3.0 && <3.1) copilot-libraries (>=3.0 && <3.1) copilot-theorem (>=3.0 && <3.1) directory (>=1.3 && <1.4) filepath (>=1.4 && <1.5) optparse-applicative (>=0.14 && <0.15)