add instructions on how to send patches to the mailing list with Gmail