gitignore some files generated by the devel version of coq
gitignore some files generated by the devel version of coq

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl