Travis build 137 pushed doxygen docu to gh-pages