Add documentation for StdCdmiPithosServer