can you eat pickles with diverticulitis