Mention the users mailing list as well in devel.md
Mention the users mailing list as well in devel.md

ProofGeneral/proofgeneral.github.io,ProofGeneral/proofgeneral.github.io,ProofGeneral/proofgeneral.github.io