fix link to travis-ci badge