Add travis-ci badge.