Use public travis-ci badge.