Add badge from travis-ci.