added travis-ci badge.