Update members.md

I added my name to the members.md and am looking to join the LeanProgramming Community.