Update name and URL of "ESP_Ping"

[per1234]

This PR consists of two changes:

• Change URL from https://github.com/dvarrel/ESP_Ping.git to https://github.com/dvarrel/ESPping.git (companion to change library name #2255)
• Change name from ESP_Ping to ESPping (resolves Library name change request #2263)

Since the name change operation on the database is actually a removal followed by automated re-indexing on the next job run, the URL update will occur as a matter of course. For this reason, the only operation required from the backend maintainer is a standard name change procedure.

[umbynos]

Done:

2022/12/22 10:23:34 Loaded 5442 libraries from DB
Removing ESP_Ping
Success!

[umbynos]

I had to rebase onto production because I had to merge #2272 before to fix the failure listed here