Merge branch 'release-4.0'. Close #532.

**Description**

Version 4 of Copilot is ready and should be closed and published on
Hackage.

**Type**

- Management: release and publication.

**Additional context**

None.

**Requester**

- Ivan Perez.

**Method to check presence of bug**

Not applicable (not a bug).

**Expected result**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
  published on Hackage.

- The following docker image installs copilot enforcing the new version
  via compiler constraints. It prints the message "Success" at the end
  if all completes correctly, and shows an error message otherwise.

```Dockerfile
FROM ubuntu:focal

ENV DEBIAN_FRONTEND=noninteractive

RUN apt-get update

RUN apt-get install --yes libz-dev pkg-config
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.17.7/x86_64-linux-ghcup-0.1.17.7 -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
RUN ghcup install ghc 9.8.2
RUN ghcup install cabal 3.4
RUN ghcup set ghc 9.8.2
RUN cabal update

SHELL ["/bin/bash", "-c"]
CMD git clone $REPO \
    && cd $NAME \
    && git checkout $COMMIT \
    && cabal install --lib copilot**/ \
         --constraint="copilot==4.0" \
         --constraint="copilot-c99==4.0" \
         --constraint="copilot-core==4.0" \
         --constraint="copilot-prettyprinter==4.0" \
         --constraint="copilot-interpreter==4.0" \
         --constraint="copilot-language==4.0" \
         --constraint="copilot-libraries==4.0" \
         --constraint="copilot-theorem==4.0" \
    && echo Success
```
Command (substitute variables based on new path after merge):
```
$ docker run -e "REPO=https://github.com/Copilot-Language/copilot" -e "NAME=copilot" -e "COMMIT=<HASH>" -it copilot-verify-532
```

**Solution implemented**

- Cabal files indicate new version number, constraints are adjusted as
  needed, commit is tagged with version number, and packages are
  published on Hackage.

**Further notes**

None.

Author: ivanperez-keera

copilot-c99/CHANGELOG

@@ -1,4 +1,5 @@
-2024-09-03
+2024-09-07
+        * Version bump (4.0). (#532)
         * Add support for array updates. (#36)
 
 2024-07-07

copilot-c99/copilot-c99.cabal

@@ -1,6 +1,6 @@
 cabal-version             : >= 1.10
 name                      : copilot-c99
-version                   : 3.20
+version                   : 4.0
 synopsis                  : A compiler for Copilot targeting C99.
 description               :
   This package is a back-end from Copilot to C.
@@ -45,7 +45,7 @@ library
                           , mtl                 >= 2.2 && < 2.4
                           , pretty              >= 1.1 && < 1.2
 
-                          , copilot-core        >= 3.20  && < 3.21
+                          , copilot-core        >= 4.0   && < 4.1
                           , language-c99        >= 0.2.0 && < 0.3
                           , language-c99-simple >= 0.3   && < 0.4
 

copilot-core/CHANGELOG

@@ -1,4 +1,5 @@
-2024-09-03
+2024-09-07
+        * Version bump (4.0). (#532)
         * Update Op3, Array to support array updates. (#36)
 
 2024-07-07

copilot-core/copilot-core.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-core
-version:             3.20
+version:             4.0
 synopsis:            An intermediate representation for Copilot.
 description:
   Intermediate representation for Copilot.

copilot-interpreter/CHANGELOG

@@ -1,4 +1,5 @@
-2024-09-03
+2024-09-07
+        * Version bump (4.0). (#532)
         * Add support for array updates. (#36)
 
 2024-07-07

copilot-interpreter/copilot-interpreter.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-interpreter
-version:             3.20
+version:             4.0
 synopsis:            Interpreter for Copilot.
 description:
   Interpreter for Copilot.
@@ -44,7 +44,7 @@ library
     base       >= 4.9 && < 5,
     pretty     >= 1.0 && < 1.2,
 
-    copilot-core >= 3.20 && < 3.21
+    copilot-core >= 4.0 && < 4.1
 
   exposed-modules:
 

copilot-language/CHANGELOG

@@ -1,4 +1,5 @@
-2024-09-03
+2024-09-07
+        * Version bump (4.0). (#532)
         * Add support for array updates. (#36)
 
 2024-07-07

copilot-language/copilot-language.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-language
-version:             3.20
+version:             4.0
 synopsis:            A Haskell-embedded DSL for monitoring hard real-time
                      distributed systems.
 description:
@@ -42,9 +42,9 @@ library
                , data-reify            >= 0.6  && < 0.7
                , mtl                   >= 2.0  && < 3
 
-               , copilot-core          >= 3.20 && < 3.21
-               , copilot-interpreter   >= 3.20 && < 3.21
-               , copilot-theorem       >= 3.20 && < 3.21
+               , copilot-core          >= 4.0 && < 4.1
+               , copilot-interpreter   >= 4.0 && < 4.1
+               , copilot-theorem       >= 4.0 && < 4.1
 
   exposed-modules: Copilot.Language
                  , Copilot.Language.Operators.BitWise

copilot-libraries/CHANGELOG

@@ -1,4 +1,5 @@
-2024-09-03
+2024-09-07
+        * Version bump (4.0). (#532)
         * Rename operator to avoid name clash. (#36)
 
 2024-07-07

copilot-libraries/copilot-libraries.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-libraries
-version:             3.20
+version:             4.0
 synopsis:            Libraries for the Copilot language.
 description:
   Libraries for the Copilot language.
@@ -36,12 +36,12 @@ library
 
   hs-source-dirs: src
 
-  build-depends: base             >= 4.9  && < 5
+  build-depends: base             >= 4.9 && < 5
 
-               , containers       >= 0.4  && < 0.7
-               , mtl              >= 2.0  && < 2.4
-               , parsec           >= 2.0  && < 3.2
-               , copilot-language >= 3.20 && < 3.21
+               , containers       >= 0.4 && < 0.7
+               , mtl              >= 2.0 && < 2.4
+               , parsec           >= 2.0 && < 3.2
+               , copilot-language >= 4.0 && < 4.1
 
   exposed-modules:
       Copilot.Library.Libraries