TravisCI: Adds doxygen-publish as final step of Travis CI build.