Add .gitignore for files created by run_doc.sh