Make `Prover` generic over the `ConstraintCommitment` type #1379

Job	Run time
Check all features and all targets against the MSRV, except for winter-prover and winterfell	1m 39s
Check prover and winterfell packages	1m 2s
Build for no-std (stable)	32s
Light checks	38s
Build for no-std (nightly)	40s
Test Rust stable on	1m 12s
Test Rust nightly on	1m 12s
	6m 55s

Provide feedback