integrate coverty scan to travis-ci