Updated Travis CI config file (Added Coverity scan).