Update .gitignore with documentation submodule.