initial import of PNML 2 Coq
updated gitignore