support :prove, :sat, and others in notebook
support :prove, :sat, and others in notebook

Fixes @weaversa's comment in
https://github.com/GaloisInc/cryptol/issues/163#issuecomment-74121085

ntc2/cryptol,GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol