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). (commit: 1145853)