first commit
migrate from central repository
Fix for Coq 8.4 refs #1
remove dependencies to build without Coq
add Coq section to README