Cybele package added
Dependency on Coq added
Coq trunk package added
Cybele package updated to compile with the trunk
Merge pull request #1 from clarus/master

Cybele package added