swi-prolog: don't use SSLv3_method.

Fixes #4442.

srcpkgs/swi-prolog/patches/libressl.patch

@@ -1,5 +1,5 @@
---- packages/ssl/ssl4pl.c.orig	2015-05-20 10:50:57.000000000 +0200
-+++ packages/ssl/ssl4pl.c	2015-05-22 10:49:33.347337844 +0200
+--- packages/ssl/ssl4pl.c.orig
++++ packages/ssl/ssl4pl.c
 @@ -84,7 +84,6 @@
  static functor_t FUNCTOR_crl1;
  static functor_t FUNCTOR_revocations1;
@@ -8,6 +8,17 @@
  static functor_t FUNCTOR_master_key1;
  static functor_t FUNCTOR_session_id1;
  static functor_t FUNCTOR_client_random1;
+@@ -1127,8 +1126,8 @@
+ 
+   if (!PL_get_atom(method, &method_name))
+      return PL_domain_error("ssl_method", method);
+-  if (method_name == ATOM_sslv3)
+-    ssl_method = SSLv3_method();
++  if (0)
++    ;
+ #ifdef HAVE_SSLV2_METHOD
+   else if (method_name == ATOM_sslv2)
+     ssl_method = SSLv2_method();
 @@ -1736,10 +1735,6 @@
  		      PL_INTEGER, (int)session->ssl_version))
      return FALSE;

srcpkgs/swi-prolog/template

@@ -1,7 +1,7 @@
 # Template file for 'swi-prolog'
 pkgname=swi-prolog
 version=7.2.3
-revision=2
+revision=3
 wrksrc="swipl-${version}"
 build_style=gnu-configure
 hostmakedepends="pkg-config"