SSLdump tool, with some patches to fix compatibility w/OpenSSL