Don't use a hack for an argument's accomplishments (travis config)

Thanks, @ezyang.

I'll be merging this as soon as travis ok's it, since it doesn't touch the HoTT stuff.