Chapter 16: undefined behavior when crossing ffi boundaries with panic, and 1.71

[pietroalbini]

Rust 1.71 added the -unwind family of calling conventions (like C-unwind), so we should update the spec to define the unwinding behavior when that convention is used.