pickle the onions with salt