Drop deprecated sudo:
option in TravisCI config
#2307
Merged
sudo:
option in TravisCI config
#2307