Add missing Travis configuration