`copilot`: Add installation instructions for Fedora 40 and up. Refs #542.

[fdedden]

Since September 2024, Copilot is available in Fedora 40 and newer. This commit adds installation instruction for Fedora.

Closes #542.

[fdedden]

Implementor: Solution implemented, review requested.

[ivanperez-keera]

Change Manager: Can you please put that last comment in the issue instead? Thanks!

[fdedden]

Sorry! Just re-posted it at the issue.

[ivanperez-keera]

Change Manager: @fdedden Could you please

• rebase on top of the current master.
• do not disable the CI in the commit message even if the change is to the README.
• update the changelog in a separate commit.
• prefix commit message summaries with the package name (in this case, copilot: , without the backticks).

[fdedden]

Change Manager: @fdedden Could you please

* rebase on top of the current master.

* do not disable the CI in the commit message even if the change is to the README.

* update the changelog in a separate commit.

* prefix commit message summaries with the package name (in this case, `copilot: `, without the backticks).

Done.

[ivanperez-keera]

Change Manager: @fdedden can you please merge these two changelog blocks of entries?

+2024-10-22
+        * Add installation instructions for Fedora 40 and up. (#542)
+
 2024-10-19
         * Update contribution guidelines. (#476)
         * Update README with missing publications. (#544)
         * Make the what4-propositional example's comments match results. (#535)
         * Add example describing how to implement updateField. (#525)
         * Standardize changelog format. (#550)

It should be:

-2024-10-19
+2024-10-22
         * Update contribution guidelines. (#476)
         * Update README with missing publications. (#544)
         * Make the what4-propositional example's comments match results. (#535)
         * Add example describing how to implement updateField. (#525)
         * Standardize changelog format. (#550)
+        * Add installation instructions for Fedora 40 and up. (#542)

Just for consistency, can you please also change:

### Fedora 40 and newer

On Fedora 40 and newer, Copilot can be installed directly from the package
repositories with:

to

### Fedora 40

On Fedora 40 or newer, Copilot can be installed directly from the package
repositories with:

Thanks!

[fdedden]

Change Manager: @fdedden can you please merge these two changelog blocks of entries?

Implementor: Done, and the other change as well.

[ivanperez-keera]

Change Manager: @fdedden Thanks! Can you also adjust the date in the block in the changelog?

-2024-10-19
+2024-10-22

[fdedden]

Change Manager: @fdedden Thanks! Can you also adjust the date in the block in the changelog?

-2024-10-19
+2024-10-22

Implementor: no problem, I overlooked it. Just fixed it.

[ivanperez-keera]

Change Manager: Verified that:

• Solution is implemented:
  • [X] The code proposed compiles and passes all tests. Details: Build log: https://app.travis-ci.com/github/Copilot-Language/copilot/builds/272910236
  • [X] The solution proposed produces the expected result. Details: The following dockerfile checks that Copilot can be installed following the instructions in the README, after which it prints the message "Success". We specifically check that GHC is also installed and that Copilot can later be found:

    FROM fedora:40
    
    RUN dnf -y install ghc-copilot-devel
    RUN runhaskell <<< 'import Language.Copilot; main = putStrLn "Success"'
    

    This docker file contains no CMD, so building the image is enough to check.
• [X] Implementation is documented. Details: Change is to the documentation.
• [X] Change history is clear.
• [X] Commit messages are clear.
• [X] Changelogs are updated.
• [X] Examples are updated. Details: No updates needed. Change is to the README.
• [X] Required version bumps are evaluated. Details: No bump needed. Change is to the README.