Travis: pre-install extension ip4r as superuser.