OTHER: Bump Ubuntu repo for Travis.