ci: switch to Ubuntu 18.04 in Travis