Merge branch 'develop-optparse-applicative-versions'. Close #488.

**Description**

`optparse-applicative` has seen a new release 0.18.1.0, but `copilot`
needs versions strictly lower than 1.8. This could prevent `copilot`
from being installed in certain systems or with certain LTSs.

**Type**

- Management: update versions of dependencies.

**Additional context**

None.

**Requester**

- Ivan Perez

**Method to check presence of bug**

The following Dockerfile checks Copilot can be installed with
optparse-applicative>=0.18, in which case it prints the message Success:

```Dockerfile
FROM ubuntu:focal

RUN apt-get update

RUN apt-get install --yes libz-dev
RUN apt-get install --yes git

RUN apt-get install --yes wget
RUN mkdir -p $HOME/.ghcup/bin
RUN wget https://downloads.haskell.org/~ghcup/0.1.19.2/x86_64-linux-ghcup-0.1.19.2 -O $HOME/.ghcup/bin/ghcup

RUN chmod a+x $HOME/.ghcup/bin/ghcup
ENV PATH=$PATH:/root/.ghcup/bin/
ENV PATH=$PATH:/root/.cabal/bin/
RUN apt-get install --yes curl
RUN apt-get install --yes gcc g++ make libgmp3-dev

SHELL ["/bin/bash", "-c"]

RUN ghcup install ghc 9.4
RUN ghcup install cabal 3.8
RUN ghcup set ghc 9.4.8
RUN cabal update

CMD git clone $REPO \
    && cd $NAME \
    && git checkout $COMMIT \
    && cabal install --lib copilot**/ \
         --constraint="optparse-applicative>=0.18" \
    && echo Success
```

Command (substitute variables based on new path after merge):
```sh
$ docker run -e "REPO=https://github.com/copilot-language/copilot" -e "NAME=copilot" -e "COMMIT=<commit_hash>" copilot-verify-488
```

**Expected result**

Copilot can be installed with `optparse-applicative>=0.18`.

**Proposed solution**

Modify `copilot`'s cabal file to accept `optparse-applicative` versions
`>= 0.18` and `<0.19`.

**Further notes**

None.

Author: ivanperez-keera

copilot/CHANGELOG

@@ -1,8 +1,9 @@
-2024-01-06
+2024-01-07
         * Enable tests for copilot-theorem in CI script. (#474)
         * Enable tests for copilot-libraries in CI script. (#475)
         * Replace uses of forall with forAll. (#470)
         * Update CI job to check for MISRA compliance with cppcheck. (#472)
+        * Relax version constraint on optparse-applicative. (#488)
 
 2023-11-07
         * Version bump (3.17). (#466)

copilot/copilot.cabal

@@ -48,7 +48,7 @@ library
       -fno-warn-orphans
     build-depends:
                        base                  >= 4.9  && < 5
-                     , optparse-applicative  >= 0.14 && < 0.18
+                     , optparse-applicative  >= 0.14 && < 0.19
                      , directory             >= 1.3  && < 1.4
                      , filepath              >= 1.4  && < 1.5