Remove reference to `deps/saw-core` in README.md.
Remove reference to `deps/saw-core` in README.md.

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