Specify tool dependencies using build-tool-depends. Refs #149.

[ivanperez-keera]

Specify dependencies on tools like alex, happy and BNFC using build-tool-depends, and update installation instructions accordingly, as prescribed in the solution proposed for #149.

[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/13095733411/job/36537812338
      • https://github.com/nasa/ogma/actions/runs/13095733410/job/36537812339
    • Build log archives:
      • logs_33821031431.zip
      • logs_33821031432.zip
  • The solution proposed produces the expected result. Details:
    The following dockerfile checks that it is possible to install Ogma using a simple cabal install command without having to first install alex, happy or bnfc, after which it prints the message "Success":

    FROM ubuntu:focal
    
    ENV DEBIAN_FRONTEND=noninteractive
    RUN apt-get update
    
    RUN apt-get install --yes \
          curl g++ gcc git libgmp3-dev libz-dev make pkg-config
    
    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.10
    RUN ghcup install cabal 3.12
    RUN ghcup set ghc 9.10.1
    RUN cabal update
    
    SHELL ["/bin/bash", "-c"]
    CMD git clone $REPO \
        && cd $NAME \
        && git checkout $COMMIT \
        && cabal install ogma-cli:ogma \
        && echo "Success"

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

    $ docker run -e "REPO=https://github.com/ivanperez-keera/ogma" -e "NAME=ogma" -e "COMMIT=ede7dda442a413c111be10d4427cf7a4c4a050ea" -it ogma-verify-149
    

• Implementation is documented. Details:
  The README has been updated with new installation instructions based on the changes in this PR.
• Change history is clear.
• Commit messages are clear.
• Changelogs are updated.
• Examples are updated. Details:
  No updates needed; change is to the Cabal packages and README.
• Author is internal or has provided signed CLA.
• Required version bumps are evaluated. Details:
  Bump not needed; although installation instructions have changed, the API remains the same and Ogma remains compatible with Cabal 2.4 as before.