CI: Drop unused Travis option [ci skip] (#720)
CI: Drop unused Travis option [ci skip] (#720)

- Removes an old setting from Travis. See https://blog.travis-ci.com/2018-11-19-required-linux-infrastructure-migration
colszowka/simplecov,colszowka/simplecov