Update to Travis build definition - coverage