Update hugegraph-server.md