Readme: update travis-ci badge.