Use the distro codename on Travis CI

Also, remove an unnecessary line from `pg_hba.conf`.