Adds Coq contribs

About 160 Coq libraries.