GProver to Prover
Merge branch 'generic' of github.com:ggrov/psgraph into generic