Travis-CI: another attempt at making it work (2)
Travis-CI: add Coverity scan