Writes one row of comma-separated values to stream.

def WriteRow(stream, values):
  "Writes one row of comma-separated values to stream."
  stream.write(','.join([EncodeForCSV(val) for val in values]))
  stream.write('\n')