Create gh-pages branch via GitHub
Automatic documentation push
merge
Push doc