Add information about the IMAP Proxy mailing list and make a few minor updates of the descriptions of other lists