travis: disable coverity notifications#495

andrea-iob wants to merge 1 commit intomasteroptimad/bitpit:masterfrom

travis.disable.coverity.notificationsoptimad/bitpit:travis.disable.coverity.notificationsCopy head branch name to clipboard