Updating travis/dist.ini