.gitignore: added /doc/_build/