Ping Manager Support

This is the support server for our new bot, Ping Manager. It mostly prevents ghost pings in your server, and allows logging those as well as cold pings.