Josh Kalderimis authored Aug 25, 2018 and Edward Z. Yang committed Aug 25, 2018

* use sudo: true on travis ci

* minor comment to explain previous change

This relies on having 4 core 16 gigs Travis machines enabled for the account.