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