ogma-cli: Provide ability to preprocess properties via external command. Refs #197.

[ivanperez-keera]

Extend Ogma with the ability to preprocess properties by using a user-provided tool, as prescribed in the solution proposed for #197.

[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/12780392740/job/35626564330
      • https://github.com/nasa/ogma/actions/runs/12780392741/job/35626564322
    • Build log archives:
      • logs_33070125260.zip
      • logs_33070125266.zip
  • The solution proposed produces the expected result. Details:
    The following Dockerfile uses the new flag to produce a Copilot monitor from a spec while replacing all expressions are replaced by the constantly true value / stream, and compiles the resulting Copilot specification, after which it prints the message "Success".

    FROM ubuntu:trusty
    
    RUN apt-get update
    
    RUN apt-get install --yes software-properties-common
    RUN add-apt-repository ppa:hvr/ghc
    RUN apt-get update
    
    RUN apt-get install --yes ghc-8.6.5 cabal-install-2.4
    RUN apt-get install --yes libz-dev
    
    ENV PATH=/opt/ghc/8.6.5/bin:/opt/cabal/2.4/bin:$PWD/.cabal-sandbox/bin:$PATH
    
    RUN cabal update
    RUN cabal v1-sandbox init
    RUN cabal v1-install alex happy --constraint='happy < 2.0'
    RUN apt-get install --yes git
    
    RUN echo "#!/bin/bash" >> /tmp/alwaystrue
    RUN echo "echo TRUE" >> /tmp/alwaystrue
    RUN chmod a+x /tmp/alwaystrue
    
    CMD git clone $REPO && \
        cd $NAME && \
        git checkout $COMMIT && \
        cd .. && \
        cabal v1-install copilot-4.2 $NAME/$PAT**/ --enable-tests && \
        ogma standalone --input-format fdb --file-name $NAME/ogma-cli/examples/DB.json --target-dir output --parse-prop-via /tmp/alwaystrue && \
        cabal v1-exec -- runhaskell output/Copilot.hs && \
        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 "PAT=ogma"  -e "COMMIT=e148198cee74b19ee10e850503ec03403efe4372" -it ogma-verify-197
    

• Implementation is documented. Details:
  All new top-level definitions are documented. The README does not contain a section for the standalone backend, so the feature remains undocumented in the README.
• Change history is clear.
• Commit messages are clear.
• Changelogs are updated.
• Examples are updated. Details:
  No updates needed.
• Required version bumps are evaluated. Details:
  Bump not required (API is backwards compatible and dependencies are extended).