Travis build 13 pushed doxygen docu to gh-pages