proto_solver → sat Relation

File in ortools/linear_solver/proto_solver	Includes file in ortools/sat
sat_proto_solver.cc	cp_model_solver.h
sat_proto_solver.cc	sat/lp_utils.h
sat_proto_solver.cc	sat/parameters_validation.h