Misc/Travis: Add Coverity Scan addon