travis-doxygen.sh: don't ignore Doxygen push error