Add RocqMakefile trashfiles to .gitignore

.RocqMakefile.d and RocqMakefile.conf are not in .gitignore while they probably should.