fix the url of travis-ci badge