MY PATCH!

To be rebased on newer changes from upstream.

(Also includes a pre-addition copy of main.rkt, kept just in case.)
Use `ssl-load-default-verify-sources!' in the client.

This is needed when we use a signed certificate.
Fix name-resolver use to avoid warning.