Added coverity scan to the travis configuration file