Initial support for binding patterns in SemIR

[geoffromer]

• Introduce the binding_pattern inst.
• Emit it during the initial check traversal, instead of bind_name (or bind_symbolic_name).
• Once the parameter pattern has been checked, traverse the generated binding_patterns to emit the corresponding bind_names.

See here for the design this is based on.