Improve docs on new 'codegen' builtin.
Improve docs on new 'codegen' builtin.

By copying Brian's commit message.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script