Log Message:
sbcl: update to 2.5.1

Packaging Changes:
- added support for threading

Upstream Changes:
  - minor incompatible change: SBCL now reveals details of its
    COMPLEX representations through UPGRADED-COMPLEX-PART-TYPE,
    rather than hiding them.
  - minor incompatible change: the compiler will warn on the
    use of a SATISFIES type with an undefined function.
  - minor incompatible change: (room t) now counts the space
    taken by the internals of hash-tables and CLOS instances.
  - platform support
    - fixes to the included version of ASDF, and to sockets
      functions, for the Haiku operating system.
    - add support for CAS (compare-and-swap) on SAPs for arm64,
      x86-64 and (partially) RISC-V.
    - the system is now consistent with 64-bit time_t on 32-bit linux
      platforms.
    - restore building on 32-bit ARM with newer gcc versions.
    - fix large stack allocation on 64-bit Windows.
  - CL portability fixes to the definitions of certain compiler
    structures, detected by CLISP.
  - improve support for the Haiku
  - many bug fixes
  - a few optimizations mostly related to SLOT-VALUE