proofman-hints 1.3.2-alpha

Hint definitions and evaluation for the PIL2 proofman framework