Issue #22: use SSL setting from top level for repl set servers.

Should fix #22.