A web API for pinging Minecraft servers