Add link to Travis-CI badge.