adding docs directory to .gitignore