Add docs on how to push docs to gh-pages