Add a travis-ci badge.