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

Job	Run time
Light checks	31s
Check prover and winterfell packages	1m 4s
Build for no-std (stable)	22s
Check all features and all targets against the MSRV, except for winter-prover and winterfell	1m 43s
Build for no-std (nightly)	26s
Test Rust stable on	34s
Test Rust nightly on	38s
	5m 18s

Provide feedback