copilot-2.0: dependencies

Dependencies for copilot-2.0

library	base (>=4.0 && <5) copilot-cbmc copilot-core copilot-language copilot-libraries
copilot-regression	base (>=4.0) copilot-c99 copilot-core copilot-language copilot-libraries directory (>=1.1)