what is the name molly short for