doc: Minor updates in the trace-server-dev-guide.md

doc: Minor updates in the trace-server-dev-guide.md #750