Use the distro codename on Travis CI