Let us publish gh-pages during CI