add .gitignore for docs/