Disable Travis. CI is now at https://yalir.org:8080/