travis-ci: hooking up coverity