Add docs/, modify .gitignore accordingly