[don't-merge] fix: use sync-halo2-lib-0.4.0 branch of halo2_proofs

[silathdiir]

Summary

• use halo2_proof sync-halo2-lib-0.4.0 branch.
• copy only necessary code from halo2-base/src/utils/mod.rs of [WIP] Sync halo2 lib 0.4.0 #21 to utils.rs to make build work.
• add inline functions zero() (returns F::ZERO) and one() (returns F::ONE) to ScalarField to avoid fixes in other files.

Test

• bn254::tests::pairing::test_pairing failed with NOT ENOUGH ADVICE COLUMNS IN PHASE 0.
• bench tests failed with No such file or directory.

failures:
    bn254::tests::ec_add::bench_ec_add
    bn254::tests::fixed_base_msm::bench_fixed_base_msm
    bn254::tests::msm::bench_msm
    bn254::tests::pairing::bench_pairing
    bn254::tests::pairing::test_pairing
    secp256k1::tests::ecdsa::bench_secp256k1_ecdsa

[zhenfeizhang]

LGTM. Thanks.