Cosmetics in cmake #445

Job	Run time
Linux Crypto3 Testing with clang / Build and test Linux with clang	1h 45m 29s
Linux Crypto3 Testing with clang / Build and test Linux with clang	1h 45m 29s
Check Proof Producer / Prepare targets strings	1s
Check Proof Producer / Prepare targets strings	1s
Linux Crypto3 Testing with gcc / Build and test Linux with gcc	49m 16s
Linux Crypto3 Testing with gcc / Build and test Linux with gcc	2h 0m 11s
Check Proof Producer / Get zkLLVM run to use artifacts from	5s
Check Proof Producer / Get zkLLVM run to use artifacts from	5s
Verify Circuit Proof / Produce and verify proofs	3m 11s
Verify Circuit Proof / Produce and verify proofs	3m 11s
Check Proof Producer / Build prover, generate proofs for circuits	5m 56s
Check Proof Producer / Build prover, generate proofs for circuits	5m 56s
Verify Circuit Proof / Verify proofs / verify-proofs	1m 41s
Verify Circuit Proof / Verify proofs / verify-proofs	1m 41s
Check Proof Producer / Verify proof-producer proofs with EVM-placeholder / run-tests	1m 54s
Check Proof Producer / Verify proof-producer proofs with EVM-placeholder / run-tests	1m 54s
	6h 46m 1s

Provide feedback