Merge branch 'develop-bump-ogma-extra'. Close #645.

**Description**

In order to keep Copilot effectively working in the current Haskell
ecosystem, as well as new versions of GHC, we need to extend the
versions of dependencies that Copilot can be installed with. The package
`ogma-extra` has seen release 1.7, but `copilot-visualizer` depend on
versions prior to 1.7.

**Type**

- Management: update versions of dependencies.

**Additional context**

None.

**Requester**

- Ivan Perez.

**Method to check presence of bug**

Not applicable (not a bug).

**Expected result**

The `copilot-visualizer` can be installed with the most recent version
of `ogma-extra` published on hackage that do not require a change to the
Haskell code.

The following Dockerfile installs copilot forcing the version of
ogma-extra to be greater than or equal to 1.9, after which it prints the
message "Success":

```
FROM ubuntu:jammy

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

RUN apt-get install --yes \
      libz-dev \
      git \
      curl \
      gcc \
      g++ \
      make \
      libgmp3-dev  \
      pkg-config

RUN mkdir -p $HOME/.ghcup/bin
RUN curl https://downloads.haskell.org/~ghcup/0.1.40.0/x86_64-linux-ghcup-0.1.40.0 -o $HOME/.ghcup/bin/ghcup
RUN chmod a+x $HOME/.ghcup/bin/ghcup
ENV PATH=$PATH:/root/.ghcup/bin/
ENV PATH=$PATH:/root/.cabal/bin/

SHELL ["/bin/bash", "-c"]

RUN ghcup install ghc 9.8.4
RUN ghcup install cabal 3.2
RUN ghcup set ghc 9.8.4
RUN cabal update

SHELL ["/bin/bash", "-c"]
CMD git clone $REPO && cd $NAME && git checkout $COMMIT && cd .. \
  && cabal v1-sandbox init \
  && cabal v1-install alex happy --constraint='happy <= 2' \
  && cabal v1-install --constraint='ogma-extra >= 1.9' \
                      $NAME/copilot/ \
                      $NAME/copilot-bluespec/ \
                      $NAME/copilot-c99/ \
                      $NAME/copilot-core/ \
                      $NAME/copilot-prettyprinter/ \
                      $NAME/copilot-interpreter/ \
                      $NAME/copilot-language/ \
                      $NAME/copilot-libraries/ \
                      $NAME/copilot-theorem/ \
                      $NAME/copilot-verifier/ \
                      $NAME/copilot-visualizer/ \
  && echo "Success"
```

Command (substitute variables based on new path after merge):
```
$ docker run -e "REPO=https://github.com/Copilot-Language/copilot" -e "NAME=copilot" -e "COMMIT=<HASH>" -it copilot-verify-645
```

**Solution implemented**

Bump version bounds on `ogma-extra`.

**Further notes**

None.

Author: ivanperez-keera

copilot-visualizer/CHANGELOG

@@ -1,3 +1,6 @@
+2025-08-31
+        * Relax version constraint on `ogma-extra`. (#645)
+
 2025-07-07
         * Version bump (4.5). (#642)
         * Include in mainline. (#624)

copilot-visualizer/copilot-visualizer.cabal

@@ -61,7 +61,7 @@ library
     filepath   >= 1.4.2   && < 1.6,
     hint       >= 0.9.0   && < 1.10,
     pretty     >= 1.0     && < 1.2,
-    ogma-extra >= 1.6.0   && < 1.7,
+    ogma-extra >= 1.6.0   && < 1.10,
     text       >= 1.2.3.1 && < 2.2,
     websockets >= 0.12.7  && < 0.14,