Tweak .gitignore so we don't obsess over a documentation directory.