TravisCI: work around a Java 7 SSL bug by disabling the SNI extension