Add Coverity Scan to Travis configuration