CI: Drop unused Travis setting
CI: Drop unused Travis setting

  - For details, see https://blog.travis-ci.com/2018-11-19-required-linux-infrastructure-migration
state-machines/state_machines-audit_trail