Introduce support for Lustre boolean expressions. Refs #267.

[ivanperez-keera]

This commit renames an existing package that already supports some of the Lustre syntax to use the name lustre in the package name, and adjusts imports, filenames, and other references across the codebase to use the name Lustre or lustre, as applicable, instead, as prescribed in the solution proposed for #267.

[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/14010896831/job/39230539323
      • https://github.com/nasa/ogma/actions/runs/14010896820/job/39230539320
    • Build log archives:
      • logs_36070844287.zip
      • logs_36070844271.zip
  • The solution proposed produces the expected result. Details:
    The following dockerfile uses the standalone backend and the new property language lustre to produce a monitor from an input file listing properties, after which it prints the message "Success":

    --- Dockerfile-verify-267
    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 libbz2-dev libexpat-dev
    
    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
    
    ADD document.json   /tmp/
    ADD json-format.cfg /tmp/
    
    SHELL ["/bin/bash", "-c"]
    CMD git clone $REPO \
        && cd $NAME \
        && git checkout $COMMIT \
        && cabal install ogma-cli:ogma \
        && ogma standalone --file-name /tmp/document.json -f /tmp/json-format.cfg -p lustre \
        && echo "Success"
    
    --- document.json
    {
      "Example": {
        "internal_variables": [],
        "external_variables": [
          {"name":"input", "type":"Float", "meaning": "Input from the system"}
        ],
        "properties": [
          {
            "id":      "MyProperty",
            "formula": "input <> 30.0",
            "text":    "Input is never 30"
          }
        ]
      }
    }
    
    --- json-format.cfg
    JSONFormat
       { specInternalVars    = Just "..internal_variables[*]"
       , specInternalVarId   = ".name"
       , specInternalVarExpr = ".meaning"
       , specInternalVarType = Just ".type"
       , specExternalVars    = Just "..external_variables[*]"
       , specExternalVarId   = ".name"
       , specExternalVarType = Just ".type"
       , specRequirements    = "..properties[*]"
       , specRequirementId   = ".id"
       , specRequirementDesc = Just ".text"
       , specRequirementExpr = ".formula"
       , specRequirementResultType = Nothing
       , specRequirementResultExpr = Nothing
       }
    

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

    $ docker run -e "REPO=https://github.com/ivanperez-keera/ogma" -e "COMMIT=5b05f18240d2dcd47715cc486788e64d898a4113" -e "NAME=ogma" ogma-verify-267
    

• Implementation is documented. Details:
  The new library includes documentation for the Cabal package, all grammars and Haskell files. Other changes do not require adjusting or adding documentation.
• Change history is clear.
• Commit messages are clear.
• Changelogs are updated.
• Examples are updated. Details:
  Change does not affect existing examples.
• Author is internal or has provided signed CLA.
• Required version bumps are evaluated. Details:
  Bump required; this PR removes an existing library and changes several public types in other libraries, thus not being backwards compatible.