Herramientas Administrador de librerías 1.2.3.62

Se arreglo una compatibilidad entre lo que había en la lista y la librería que se intentaba descargar/registrar.

* 28/09/2021: Corrección en la comparación de versión, ahora es más preciso.
* 27/09/2021: Ahora permite actualizar la lista de librerías desde internet.