.docs folder added to .gitignore. Documentation is pushed to its own branch (gh-pages)