Renamed https://github.com/dac1e/Dcf77Receiver to https://github.com/…

[dac1e]

…dac1e/DCF77RX

Renamed the repository, because it shall appear along with other repositories that all start with upper case letters 'DCF' instead of 'Dcf'. Along with this change, the appendix 'Receiver' was shortened to 'RX'.

[github-actions]

Hi @dac1e.
Your pull request has been detected as something other than a Library Manager submission.
A maintainer will need to review it before it can be merged.

If you intended to submit a library, please check the instructions and update your pull request if necessary:
https://github.com/arduino/library-registry/blob/main/README.md#instructions

[per1234]

Hello @dac1e. I am confirming your request.

Unlike submissions, this type of request is still handled manually. The Library Manager index maintainer occasionally comes through to clear all the outstanding requests. They will merge this pull request when it is done. You will get a notification from GitHub at that time.

After that, you can monitor the indexing of the library via its dedicated logs web page.
Information about that here:
https://github.com/arduino/library-registry/blob/main/FAQ.md#can-i-check-on-library-releases-being-added-to-library-manager