don't doxygen the coverity files on travis