המהרש"ל, רבי שלמה ב"ר יחיאל לוריא אשכנזי, מחבר "ים של שלמה"