Fix link in Travis-CI badge.