update travis-ci badge url [ci skip]