Created by: cvrebert
This factors out a new docs-github task for building the hosted docs, since they're occasionally patched outside of the long release cycle and since simply using Jekyll directly isn't sufficient anymore due to the HTML minification (which makes the diffs a pain to read, but that's a story for another time).
CC: @XhmikosR