Add badge for travis-ci.