Fix link to travis-ci

what it says...