added Prover9 io files to gitignore