Remove server pinging

We've now been through a pile of iterations of the server ping implementation, and it's still not working nicely. This removes it for the stable release.