Implementation of zk-SNARK proofs.

This is the fork of the original bellperson crate from Filecoin, which itself is a fork of the bellman crate.

Delta from upstream

These are the difference between this crate and the upstream bellperson crate:

• Made some arguments to the methods in the boolean module more generic.