Travis build 17 pushed doxygen docu to gh-pages