change coverage from travis-pro to travis-ci