ogma-core: Add dockerfile to cFS template. Refs #353.

[ivanperez-keera]

Add Dockerfile to cFS template, adjusting the locations of files in the template, the Cabal files, the backend and the documentation, as prescribed in the solution proposed for #353.

[ivanperez-keera]

Change Manager: Several of the changes fell in the ogma-cli directory. They have the wrong summary line, and the changelog for ogma-cli should be updated.

[ivanperez-keera]

Implementor: Fix implemented, review requested.

[ivanperez-keera]

Change Manager: The Dockerfile included in the template is missing a backslash after git, causing happy to be interpreted as an instruction.

[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:
    • https://github.com/nasa/ogma/actions/runs/21924887853/job/63314752315
    • https://github.com/nasa/ogma/actions/runs/21924887869/job/63314752373
    • https://github.com/nasa/ogma/actions/runs/21924887879/job/63314752375
    • https://github.com/nasa/ogma/actions/runs/21924887851/job/63314752278
    • Build log archives:
      • logs_57141133996.zip
      • logs_57141134007.zip
      • logs_57141134059.zip
      • logs_57141134071.zip
  • The solution proposed produces the expected result. Details:
    The following dockerfile runs the cFS backend on a known example and generates a monitoring application. As part of the generated output, another Dockerfile is included. When the latter is built, it compiles the monitoring application within a cFS installation.

    FROM ubuntu:22.04
    
    ENV DEBIAN_FRONTEND=noninteractive
    
    RUN apt-get update
    SHELL ["/bin/bash", "-c"]
    
    RUN apt-get install --yes \
      alex \
      cabal-install \
      g++ \
      ghc \
      git \
      happy \
      libbz2-dev \
      libexpat1-dev \
      libz-dev \
      pkg-config
    
    WORKDIR /root/
    
    ENV PATH=/root/.cabal-sandbox/bin:$PATH
    
    RUN cabal update
    RUN cabal v1-sandbox init
    RUN cabal v1-install BNFC
    
    CMD git clone $REPO \
      && pushd $NAME \
      && git checkout $COMMIT \
      && popd \
      && cabal v1-install --force-reinstalls $NAME/ogma-**/ \
      && ogma cfs --target-dir demo \
           --input-file $NAME/ogma-cli/examples/cfs-001-hello-ogma/expressions.json \
           --input-format $NAME/ogma-cli/examples/cfs-001-hello-ogma/json-format.cfg \
           --prop-format literal \
           --variable-db $NAME/ogma-cli/examples/cfs-001-hello-ogma/db.json \
           --template-vars $NAME/ogma-cli/examples/cfs-001-hello-ogma/extra-vars.json \
      && cp $NAME/ogma-cli/examples/cfs-001-hello-ogma/extra.h demo/copilot/fsw/src/ \
      && echo "Success"

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

    $ mkdir -p demo
    $ docker run -e REPO=https://github.com/ivanperez-keera/ogma -e NAME=ogma -e COMMIT=c7ecd94d134a189c23ac9fd46185c765a635da59 -v $PWD/demo:/root/demo ogma-verify-353
    $ cd demo
    $ docker build -t ogma-verify-353-cfs .
    

    A step of changing permissions by executing chown -R $USER:$(id -ng $USER) . inside the demo directory may be necessary prior to the second docker build, depending on the host setup.
• Implementation is documented. Details:
  The tutorial and README are updated.
• Change history is clear.
• Commit messages are clear.
• Changelogs are updated.
• Examples are updated. Details:
  The tutorial affected by this change has been updated.
• Author is internal or has provided signed CLA.
• Required version bumps are evaluated. Details:
  Bump required; the change affects the output produced and how it is compiled.