Add missing Travis CI badge.