Added documentation for the TraceKit specific options