Add Travis-ci badge.