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

Job	Run time
Light checks	36s
Build for no-std (stable)	34s
Check prover and winterfell packages	1m 1s
Check all features and all targets against the MSRV, except for winter-prover and winterfell	1m 41s
Build for no-std (nightly)	37s
Test Rust stable on	1m 5s
Test Rust nightly on	1m 11s
	6m 45s

Provide feedback