Recognize Cryptol error output as well in Emacs mode
Recognize Cryptol error output as well in Emacs mode

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