ogma-cli: Allow customizing the standalone application template. Refs #189.

[ivanperez-keera]

Adjust ogma-cli and ogma-core to allow customizing the standalone Copilot monitoring application by using custom-provided templates, as prescribed in the solution proposed for #189.

Unlike in the solution proposed for #189, the README is not modified to explain how to use this feature, since there is no section in the current README explaining how the standalone command works.

[ivanperez-keera]

Change Manager: The comments of the standalone and standalone' functions are no longer correct, since the function no longer prints. Instead, it generates a standalone Copilot monitor.

[ivanperez-keera]

Implementor: Fix implemented, review requested.

[ivanperez-keera]

Change Manager: Verified that:

• Solution is implemented:
  • The code proposed compiles and passes all tests. Details:
    • Build logs:
      • https://github.com/ivanperez-keera/ogma/actions/runs/12483377107/job/34839074205
      • https://github.com/ivanperez-keera/ogma/actions/runs/12483377108/job/34839074785
    • Build log archives:
      • logs_32415426081.zip
      • logs_32415426084.zip
  • The solution proposed produces the expected result. Details:
    The following dockerfile generates a standalone Copilot monitor using the default template and using a copy and the default template and checks that both are the same. It then adds a file to the copy of the template and checks that the file is copied to the target directory when the custom template is used, after which it prints the message "Success". Compiling the produced component completes successfully:

    FROM ubuntu:trusty
    
    ENV DEBIAN_FRONTEND=noninteractive
    
    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
    RUN apt-get install --yes git
    
    CMD git clone $REPO \
        && cd $NAME \
        && git checkout $COMMIT \
        && cd .. \
        && cp -r $NAME/ogma-core/templates/standalone custom-template-standalone \
        && cabal v1-sandbox init \
        && cabal v1-install $NAME/$PAT**/ copilot-4.1 --constraint="aeson>=2.0.3.0" \
        && ./.cabal-sandbox/bin/ogma standalone --file-name $NAME/ogma-cli/examples/fret.json --input-format fcs --target-dir orig \
        && ./.cabal-sandbox/bin/ogma standalone --file-name $NAME/ogma-cli/examples/fret.json --input-format fcs --target-dir new --template-dir custom-template-standalone \
        && diff -rq orig new \
        && rm -rf new/ \
        && echo "Success" >> custom-template-standalone/README \
        && ./.cabal-sandbox/bin/ogma standalone --file-name $NAME/ogma-cli/examples/fret.json --input-format fcs --target-dir new --template-dir custom-template-standalone \
        && cabal v1-exec -- runhaskell -XPartialTypeSignatures -Wno-partial-type-signatures new/Copilot.hs \
        && cat new/README
    

    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=9c76554ab695e98ed05a01caad099f0347519358" -it ogma-verify-189
    

• Implementation is documented. Details:
  The new code has comments. Changes to old code had their comments adapted.
• Change history is clear.
• Commit messages are clear.
• Changelogs are updated.
• Examples are updated. Details:
  No updates needed.
• Required version bumps are evaluated. Details:
  No bump needed. New feature is backwards compatible.