add travis-ci badge.