Coq trunk package added
Cybele package updated to compile with the trunk