Attorneys representing a 16-year-old student attacked at a Gilroy high school last year have sued the school district, claiming it’s not doing enough to keep students safe on campus.