Travis CI: we don't need to specify the edge group anymore.Indeed, Travis CI have now officially upgraded their system, so we arefine (seehttps://blog.travis-ci.com/2017-06-21-trusty-updates-2017-Q2-launch).