Recent additions/changes (see personal repo)

[Marc Nieper-Wißkirchen]

I have documented thread-interrupt! in 5.14.6.

Thread-exit! is now renamed to thread-stop!.

I hope that only editorial changes remain before we finalize this.