proofman-hints 1.3.1-alpha

Hint definitions and evaluation for the PIL2 proofman framework