poseidon hash

[zhenfeizhang]

This PR implements 2-in-1-out Poseidon hash circuit with <200 constraints.

It has the following components:

• a degree 5 custom gate
• a circuit implementation of Poseidon with this custom gate