travis: removed coverity (will use manual builds instead)