The python clients have been moved into the repository of their corresponding server.
The Cryptol Python Client has been moved here: https://github.com/GaloisInc/cryptol/tree/master/cryptol-remote-api/python
The SAW Python Client has been moved here: https://github.com/GaloisInc/saw-script/tree/master/saw-remote-api/python