proofman-hints 1.1.0-alpha

Hint definitions and evaluation for the PIL2 proofman framework