Remove coq directory; moved to category-theory repo