Adding docs/* to gitignore