publish: Make travis submit coverage reports to the gh-pages branch.

generated from commit d6bc73d4d8f529656844f803718cff24c1d709eb