Bump version bounds of dependencies on Cabal. Refs #213.

[kaBeech]

This commit modifies version bounds of all libraries depending directly on Cabal to allow installation with Cabal 3.14, the most recent version of Cabal that does not require a change to the Haskell code, per the desired result and proposed solution in #213.

These changes enable Ogma to be used in Debian sid.

[ivanperez-keera]

Change Manager: Verified that:

• Solution is implemented:
  • The code proposed compiles and passes all tests. Details:
    • Build logs:
      • https://github.com/nasa/ogma/actions/runs/13083404478/job/36512965346?pr=223
      • https://github.com/nasa/ogma/actions/runs/13083404473/job/36512965347?pr=223
    • Build log archives:
    • logs_33797562808.zip
    • logs_33797562815.zip
  • The solution proposed produces the expected result. Details:
    The following dockerfile installs Ogma using Cabal >= 3.14, after which it prints the message "Success":

    FROM ubuntu:focal
    
    RUN apt-get update
    
    RUN apt-get install --yes \
          curl g++ gcc git libgmp3-dev libz-dev make
    
    RUN mkdir -p $HOME/.local/bin
    ENV PATH=$PATH:/root/.local/bin/
    
    RUN curl https://downloads.haskell.org/~ghcup/0.1.17.7/x86_64-linux-ghcup-0.1.17.7 -o $HOME/.local/bin/ghcup
    RUN chmod a+x $HOME/.local/bin/ghcup
    
    ENV PATH=$PATH:/root/.ghcup/bin/
    RUN ghcup install ghc 9.6
    RUN ghcup install cabal 3.12
    RUN ghcup set ghc 9.6.6
    RUN cabal update
    
    SHELL ["/bin/bash", "-c"]
    CMD git clone $REPO \
        && cd $NAME \
        && git checkout $COMMIT \
        && cabal v1-install alex happy \
        && cabal v1-install BNFC \
        && cabal v1-install ogma-**/ --constraint='Cabal>=3.14' \
        && echo Success

    Command (substitute variables based on new path after merge):

    $ docker run -e "REPO=https://github.com/kaBeech/ogma" -e "NAME=ogma" -e "COMMIT=26276b51471ab57fbc004e37fa0c946479b6323a" -it ogma-verify-213
    

• Implementation is documented. Details:
  No updates needed; change is to version numbers only.
• Change history is clear.
• Commit messages are clear.
• Changelogs are updated.
• Examples are updated. Details:
  No updates needed; change is to version numbers only.
• Author is internal or has provided signed CLA.
• Required version bumps are evaluated. Details:
  Bump not needed; change extends, but does not restrict, the range of versions compatible with Copilot.