Housekeeping.
Updated travis config.