Additional documentation for builder.out.write()

Explains the rationale for sorting the dictionary keys during JSON
serialization, which has a performance benefit during deployment.