Rename Modulino Library

[sebromero]

This PR changes the URL of the Modulino library to the new name with prefix after merging this PR

[github-actions]

Hi @sebromero.
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

[github-actions]

Arduino Lint has suggestions for possible improvements to https://github.com/arduino-libraries/Arduino_Modulino:

Linting library in Arduino_Modulino
WARNING: Library name Modulino is missing the "Arduino_" prefix. The names of all new official libraries must have this 
         prefix.                                                                                                        
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format         
         (Rule LP013)                                                                                                   

Linter results for project: 0 ERRORS, 1 WARNINGS

-------------------

Linting sketch in Arduino_Modulino/examples/Modulino_Buttons/Button2Integration

Linter results for project: no errors or warnings

-------------------

Linting sketch in Arduino_Modulino/examples/Modulino_Buttons/Buttons_Basic

Linter results for project: no errors or warnings

-------------------

Linting sketch in Arduino_Modulino/examples/Modulino_Buzzer/Buzzer_Basic

Linter results for project: no errors or warnings

-------------------

Linting sketch in Arduino_Modulino/examples/Modulino_Buzzer/Simple_melody

Linter results for project: no errors or warnings

-------------------

Linting sketch in Arduino_Modulino/examples/Modulino_Buzzer/Theremin

Linter results for project: no errors or warnings

-------------------

Linting sketch in Arduino_Modulino/examples/Modulino_Distance/Distance_Basic

Linter results for project: no errors or warnings

-------------------

Linting sketch in Arduino_Modulino/examples/Modulino_Knob/Encoder_Setter

Linter results for project: no errors or warnings

-------------------

Linting sketch in Arduino_Modulino/examples/Modulino_Knob/Knob_Basic

Linter results for project: no errors or warnings

-------------------

Linting sketch in Arduino_Modulino/examples/Modulino_Movement/Movement_Basic

Linter results for project: no errors or warnings

-------------------

Linting sketch in Arduino_Modulino/examples/Modulino_Pixels/Pixels_Basic

Linter results for project: no errors or warnings

-------------------

Linting sketch in Arduino_Modulino/examples/Modulino_Pixels/Simple_Animation

Linter results for project: no errors or warnings

-------------------

Linting sketch in Arduino_Modulino/examples/Modulino_Thermo/Temperature_Humidity_Matrix

Linter results for project: no errors or warnings

-------------------

Linting sketch in Arduino_Modulino/examples/Modulino_Thermo/Thermo_Basic

Linter results for project: no errors or warnings

-------------------

Linting sketch in Arduino_Modulino/examples/Utilities/AddressChanger

Linter results for project: no errors or warnings

-------------------

Linting sketch in Arduino_Modulino/examples/Utilities/FirmwareUpdater

Linter results for project: no errors or warnings

-------------------

Linting sketch in Arduino_Modulino/examples/Utilities/Modulino_PlugNPlay

Linter results for project: no errors or warnings

-------------------

Linter results for projects: 0 ERRORS, 1 WARNINGS

[per1234]

Hello @sebromero. I am confirming your request.

Please note that, when the time comes that you are ready to release the change made in arduino-libraries/Arduino_Modulino#22, a request for changing the library's registered name (as defined by the name property in library.properties) should also be submitted. That can be done by following the procedure described here:

https://github.com/arduino/library-registry/blob/main/FAQ.md#how-can-i-change-a-librarys-name

---

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