David Lazarus: To thwart the trolls, social-media sites should require users' real names