lang/sbcl: Fix sha256 checksum for documentation file.
(cherry picked from commit f961b15a7a507696f5c067ecc458b02813f6c5b2)