initial commit of Coq and Proof General notes