Adapting to new changes pil2-proofman and moving to 0.0.7 (#139)

Adapting to new changes pil2-proofman and moving to 0.0.7 (#139) #145