saw-remote-api: Synchronize Crucible setup values documentation
saw-remote-api: Synchronize Crucible setup values documentation

Fixes #1091.

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