initial commit of Coq directory and a few basic Coq programs