Pike 8.0: SSL.sslfile has been obsoleted by SSL.File. Update to the new API, and remove some old-style code. Improved compatibility with Pike 8.1.