BUILD: Set up Travis CI / Coverity Scan