IPython-style interaction for Cryptol - View it on GitHub