Bob Raines, the superintendent who oversaw a tumultuous five-year period at West Marin’s largest school district, will retire at the end of the school year. Since 2016, Mr. Raines has helmed the Shoreline Unified School District as principals have come and gone, staff have decried improper labor practices and a critical budget officer position sat unfilled for . . .