* mandos: Implement "--socket" option. (IPv6_TCPServer.__init__): Take new "socketfd" parameter; use it. (MandosServer.__init__): Take new "socketfd" parameter. Pass it on to IPv6_TCPServer constructor. (main): Take new "--socket" option. Also take "socket" parameter in "mandos.conf" configuration file. If set, pass the value to MandosServer constructor. * mandos-options.xml (socket): Document new "socket" option. * mandos-conf.xml (OPTIONS): - '' - * mandos.xml (SYNOPSIS, OPTIONS): Document new "--socket" option.