Update Cryptol-specific SAWCore with primitive/axiom keywords.
Update Cryptol-specific SAWCore with primitive/axiom keywords.

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