JSON serialization of server info

per #730
looks like people want this