Include private symbols in `saw-remote-api`, too
Include private symbols in `saw-remote-api`, too

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