Add doc/server.dox