better ping display

This resource pack changes the way ping is displayed in the server list and makes it look much better.