travis: push documentation build to github page