Merge branch 'release-3.17'. Close #466.

**Description**

Version 3.17 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

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.17.7/x86_64-linux-ghcup-0.1.17.7 -O $HOME/.ghcup/bin/ghcup

RUN chmod a+x $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 make libgmp3-dev
RUN ghcup install ghc 9.0
RUN ghcup install cabal 3.4
RUN ghcup set ghc 9.0.2
RUN cabal update

SHELL ["/bin/bash", "-c"]
CMD git clone $REPO \
    && cd $NAME \
    && git checkout $COMMIT \
    && cabal install --lib copilot**/ \
         --constraint="copilot==3.17" \
         --constraint="copilot-c99==3.17" \
         --constraint="copilot-core==3.17" \
         --constraint="copilot-prettyprinter==3.17" \
         --constraint="copilot-interpreter==3.17" \
         --constraint="copilot-language==3.17" \
         --constraint="copilot-libraries==3.17" \
         --constraint="copilot-theorem==3.17" \
    && 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-466
```

**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 @@
-2023-11-05
+2023-11-07
+        * Version bump (3.17). (#466)
         * Replace uses of deprecated functions. (#457)
 
 2023-09-07

copilot-c99/copilot-c99.cabal

@@ -1,6 +1,6 @@
 cabal-version             : >= 1.10
 name                      : copilot-c99
-version                   : 3.16.1
+version                   : 3.17
 synopsis                  : A compiler for Copilot targeting C99.
 description               :
   This package is a back-end from Copilot to C.
@@ -45,9 +45,9 @@ library
                           , mtl                 >= 2.2 && < 2.4
                           , pretty              >= 1.1 && < 1.2
 
-                          , copilot-core        >= 3.16.1 && < 3.17
-                          , language-c99        >= 0.2.0  && < 0.3
-                          , language-c99-simple >= 0.2.2  && < 0.3
+                          , copilot-core        >= 3.17  && < 3.18
+                          , language-c99        >= 0.2.0 && < 0.3
+                          , language-c99-simple >= 0.2.2 && < 0.3
 
   exposed-modules         : Copilot.Compile.C99
 

copilot-core/CHANGELOG

@@ -1,4 +1,5 @@
-2023-11-05
+2023-11-07
+        * Version bump (3.17). (#466)
         * Compliance with style guide. (#457)
 
 2023-09-07

copilot-core/copilot-core.cabal

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

copilot-interpreter/CHANGELOG

@@ -1,4 +1,5 @@
-2023-11-05
+2023-11-07
+        * Version bump (3.17). (#466)
         * Replace uses of deprecated functions. (#457)
 
 2023-09-07

copilot-interpreter/copilot-interpreter.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-interpreter
-version:             3.16.1
+version:             3.17
 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.16.1 && < 3.17
+    copilot-core >= 3.17 && < 3.18
 
   exposed-modules:
 

copilot-language/CHANGELOG

@@ -1,3 +1,6 @@
+2023-11-07
+        * Version bump (3.17). (#466)
+
 2023-09-07
         * Version bump (3.16.1). (#455)
 

copilot-language/copilot-language.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-language
-version:             3.16.1
+version:             3.17
 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.16.1 && < 3.17
-               , copilot-interpreter   >= 3.16.1 && < 3.17
-               , copilot-theorem       >= 3.16.1 && < 3.17
+               , copilot-core          >= 3.17 && < 3.18
+               , copilot-interpreter   >= 3.17 && < 3.18
+               , copilot-theorem       >= 3.17 && < 3.18
 
   exposed-modules: Copilot.Language
                  , Copilot.Language.Operators.BitWise

copilot-libraries/CHANGELOG

@@ -1,3 +1,6 @@
+2023-11-07
+        * Version bump (3.17). (#466)
+
 2023-09-07
         * Version bump (3.16.1). (#455)
         * Fix semantics of since in Copilot.Library.PTLTL. (#443)

copilot-libraries/copilot-libraries.cabal

@@ -1,6 +1,6 @@
 cabal-version:       >=1.10
 name:                copilot-libraries
-version:             3.16.1
+version:             3.17
 synopsis:            Libraries for the Copilot language.
 description:
   Libraries for the Copilot language.
@@ -41,7 +41,7 @@ library
                , containers       >= 0.4 && < 0.7
                , mtl              >= 2.0 && < 2.4
                , parsec           >= 2.0 && < 3.2
-               , copilot-language >= 3.16.1 && < 3.17
+               , copilot-language >= 3.17 && < 3.18
 
   exposed-modules:
       Copilot.Library.Libraries