Compatibility with Stackage lts-20.26 (GHC 9.2).

The main task here is to make `doc-images-opencv` work,
which is this package's way to generate nice documentation images
into the Haddocks, from code that's in the Haddocks.

For that, this commit:

* Deletes copy-pasted + modified module from `haskell-src-meta`,
  `Language.Haskell.Meta.Syntax.Translate`, since as per the commit mentioned in
  * bmillwood/haskell-src-meta#54
  * haskell-party/haskell-src-meta#3 (comment)
  * haskell-party/haskell-src-meta@5c69c3a
  the necessary `DataKinds` changes were merged upstream.
  The commit suggests it's in >= 0.8.3, so that's what's added in the `.cabal` file.

* Replaces all occurrences of `*` by `Type` from `Data.Kind` to fix
  all `-Wstar-is-type` warnings
  (see also https://ghc-proposals.readthedocs.io/en/latest/proposals/0143-remove-star-kind.html).
  This is necessary because the upstream `haskell-src-meta` above
  does not support `*` but does support `Type`; it would print:
      Language.Haskell.Meta.Syntax.Translate.toType: not implemented: TyStar ()

doc/ExampleExtractor.hs

@@ -35,7 +35,7 @@ import qualified "bytestring" Data.ByteString as B
 import qualified "bytestring" Data.ByteString.Lazy as BL
 import "template-haskell" Language.Haskell.TH
 import "template-haskell" Language.Haskell.TH.Syntax
-import "this" Language.Haskell.Meta.Syntax.Translate ( toDecs )
+import "haskell-src-meta" Language.Haskell.Meta.Syntax.Translate ( toDecs )
 
 #if !MIN_VERSION_base(4,11,0)
 import "base" Data.Monoid
@@ -269,7 +269,7 @@ mkRenderExampleImages renderTargets = [d|
   where
     doRender :: Exp
     doRender =
-        DoE $ do
+        DoE Nothing $ do
           rt <- renderTargets
           let sym = VarE $ rtSymbolName rt
               fp  = LitE $ StringL $ "examples/" <> rtDestination rt