Delete all the things (#18)

* Delete all the things

We are cleaning up a lot in #17

Here we extract some of that cleanup, to make that other PR easier to
review.

* Delete more

Author: matthiasgoergens

circ_blocks/Cargo.toml

@@ -101,9 +101,6 @@ bellman = [
   "rayon",
 ]
 
-[[example]]
-name = "circ"
-
 [[example]]
 name = "zk"
 required-features = ["r1cs"]
@@ -112,10 +109,6 @@ required-features = ["r1cs"]
 name = "cp"
 required-features = ["bellman", "poly"]
 
-[[example]]
-name = "zxi"
-required-features = ["smt", "zok"]
-
 [[example]]
 name = "zxc"
 required-features = ["r1cs", "smt", "zok"]