Misc/Travis: Remove Coverity addon

It was a good idea but it doesn't work in pratice.