doc: script to push doc on github: make github.
doc: fix sphinx warnings.