Add missing Travis CI configuration