Merge branch 'develop-copilot-bluespec-upstream'. Close #623.

**Description**

The `copilot-bluespec` was developed outside of this repo, but there's interest
in having all Copilot projects and libraries merged into a main repo for ease
of management.

**Type**

- Management: files need to be moved between repos.

**Additional context**

None.

**Requester**

- Ivan Perez.

**Method to check presence of bug**

Not applicable (not a bug).

**Expected result**

The last state of the `copilot-bluespec` is included in this repository,
disregarding history, and adjusting the changelog to make the old issues refer
to `copilot-bluespec#<ISSUE_NUM>` so that they are not interpreted as related
to the main Copilot repo.

The following dockerfile checks out the latest version of `copilot-bluespec`,
v4.4, and compares it against the version being merged, ignoring changes in
expected files, namely those related to Git, Github or the CHANGELOG, checking
that there are no other differences, after which it prints the message
"Success":

```Dockerfile
FROM ubuntu:noble

ENV DEBIAN_FRONTEND=noninteractive
RUN apt-get update

RUN apt-get install --yes git
RUN git config --global advice.detachedHead false

CMD git clone $REPO $NAME \
    && cd $NAME \
    && git checkout $COMMIT \
    && cd .. \
    && git clone -b v4.4 https://github.com/Copilot-Language/copilot-bluespec copilot-bluespec-original \
    && diff --exclude '.git' --exclude '.github' --exclude '.gitignore' --exclude 'CHANGELOG' -r $NAME/copilot-bluespec copilot-bluespec-original \
    && 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-623
```

**Solution implemented**

Copy last state of `copilot-bluespec` as subdirectory of main repo,
disregarding the `.gitignore` and any files under `.github`.

Adjust Changelog in `copilot-bluespec` to make older issues point to correct
repo.

**Further notes**

None.

Author: ivanperez-keera

copilot-bluespec/.dockerignore

@@ -0,0 +1,29 @@
+dist
+dist-*
+cabal-dev
+*.o
+*.hi
+*.chi
+*.chs.h
+*.dyn_o
+*.dyn_hi
+.hpc
+.hsenv
+.cabal-sandbox/
+cabal.sandbox.config
+*.prof
+*.aux
+*.hp
+*.eventlog
+.stack-work/
+cabal.project.local
+cabal.project.local~
+.HTF/
+.ghc.environment.*
+copilot-profiling
+.DS_Store
+.log
+
+Dockerfile
+.git
+.gitignore

copilot-bluespec/CHANGELOG

@@ -0,0 +1,44 @@
+2025-05-18
+        * Include `copilot-bluespec` in mainline `copilot` repo. (#623)
+
+2025-05-08
+        * Version bump (4.4). (copilot-bluespec#43)
+
+2025-05-05
+        * Version bump (4.3.1). (copilot-bluespec#41)
+        * Move Copilot.Compile.Bluespec.External out of shared directory.
+          (copilot-bluespec#36)
+        * Allow building with filepath-1.5.*. (copilot-bluespec#39)
+
+2025-03-10
+        * Version bump (4.3). (copilot-bluespec#34)
+
+2025-01-20
+        * Version bump (4.2). (copilot-bluespec#31)
+        * Implement missing floating-point operations. (copilot-bluespec#28)
+        * Allow using same trigger name in multiple declarations.
+          (copilot-bluespec#30)
+
+2024-11-08
+        * Version bump (4.1). (copilot-bluespec#25)
+
+2024-09-09
+        * Version bump (4.0). (copilot-bluespec#23)
+        * Support translating Copilot array updates to Bluespec.
+          (copilot-bluespec#19)
+
+2024-08-03
+        * Test GHC 9.4 through 9.8. (copilot-bluespec#20)
+
+2024-07-11
+        * Version bump (3.20). (copilot-bluespec#11)
+        * Support translating Copilot struct updates to Bluespec.
+          (copilot-bluespec#10)
+        * Fix a bug in the translation of the signum function.
+          (copilot-bluespec#14)
+        * Fix a bug in the translation of floating-point comparisons.
+          (copilot-bluespec#15)
+
+2024-03-08
+        * Version bump (3.19). (copilot-bluespec#5)
+        * Create new library for Bluespec backend.