Add an encrypted Github token for pushing to gh-pages. Rejig how the documentation is pushed.