SSL is disabled -> fix provided

Testing pgadmin3 on Ubuntu 18.04 and Ubuntu 20.04, SSL is disabled. The SSL combo box which should contain the SSL options remains empty.

I had a look into the sources and found the problem: In acinclude.m4:
AC_CHECK_LIB(ssl, SSL_library_init, [LIB_SSL=yes], [LIB_SSL=no])

However, SSL_library_init now seems to be a macro only. OPENSSL_init_ssl is a real function, so this should work:
AC_CHECK_LIB(ssl, OPENSSL_init_ssl, [LIB_SSL=yes], [LIB_SSL=no])

Building pgadmin3 with with change, SSL works as expected.

ProblemType: Bug
DistroRelease: Ubuntu 20.04
Package: pgadmin3 (not installed)
ProcVersionSignature: Ubuntu 5.4.0-14.17-generic 5.4.18
Uname: Linux 5.4.0-14-generic x86_64
NonfreeKernelModules: nvidia_modeset nvidia
ApportVersion: 2.20.11-0ubuntu20
Architecture: amd64
CurrentDesktop: KDE
Date: Tue Mar 17 18:29:43 2020
InstallationDate: Installed on 2019-02-18 (393 days ago)
InstallationMedia: Kubuntu 18.04.1 LTS "Bionic Beaver" - Release amd64 (20180725)
SourcePackage: pgadmin3
UpgradeStatus: Upgraded to focal on 2020-03-12 (4 days ago)