Update cryptol patch

See ghc/ghc#22633

and https://github.com/haskell/directory/issues/147

patches/cryptol-2.13.0.patch

@@ -22,6 +22,19 @@ index 0e6bc98..e13eb7e 100644
  {-# LANGUAGE LambdaCase #-}
  {-# LANGUAGE GADTs #-}
  {-# LANGUAGE MultiWayIf #-}
+diff --git a/src/Cryptol/TypeCheck/Solver/SMT.hs b/src/Cryptol/TypeCheck/Solver/SMT.hs
+index 8da61e3..342478c 100644
+--- a/src/Cryptol/TypeCheck/Solver/SMT.hs
++++ b/src/Cryptol/TypeCheck/Solver/SMT.hs
+@@ -5,7 +5,7 @@
+ -- Maintainer  :  cryptol@galois.com
+ -- Stability   :  provisional
+ -- Portability :  portable
+-{-# LANGUAGE Safe #-}
++{-# LANGUAGE Trustworthy #-}
+ {-# LANGUAGE RecordWildCards #-}
+ {-# LANGUAGE FlexibleContexts #-}
+ {-# Language FlexibleInstances #-}
 diff --git a/src/Cryptol/Utils/RecordMap.hs b/src/Cryptol/Utils/RecordMap.hs
 index f859970..17cab07 100644
 --- a/src/Cryptol/Utils/RecordMap.hs