Remove as many dependencies as possible for argo

[david-christiansen]

As preparation for getting Argo on Hackage and cryptol-remote-api into the Cryptol repository, we should look at minimizing the dependencies of argo.

At a minimum, scotty and wai should go, because the HTTP interface is basically just vestigial. But it makes sense to check the others as well, both for bounds and for necessity.