Add more output generated by the documentation build process to .gitignore.