server: set docstring for ServerInfo in a more idiomatic way

(Also, setting __doc__ directly is not supported in Python 2)