travis-ci: Don't build the source, with coverity

[skip ci]