Gate vector functions

[querolita]

Ticked boxes mean that some initial implementation has been done, but it's not until it is crossed out that we verify it works (when they are also marked in this issue #2414 (comment))

• caml_pasta_fp_plonk_gate_vector_create()
• caml_pasta_fp_plonk_gate_vector_add()
• caml_pasta_fp_plonk_gate_vector_get()
• caml_pasta_fp_plonk_gate_vector_len()
• caml_pasta_fp_plonk_gate_vector_wrap()
• caml_pasta_fp_plonk_gate_vector_digest()
• caml_pasta_fp_plonk_circuit_serialize()
• caml_pasta_fq_plonk_gate_vector_create()
• caml_pasta_fq_plonk_gate_vector_add()
• caml_pasta_fq_plonk_gate_vector_get()
• caml_pasta_fq_plonk_gate_vector_len()
• caml_pasta_fq_plonk_gate_vector_wrap()
• caml_pasta_fq_plonk_gate_vector_digest()
• caml_pasta_fq_plonk_circuit_serialize()

[querolita]

Being addressed in o1-labs/proof-systems#3341