Plonk: generalize the number of wires in the architecture of PlonK

We will represent wires with arrays instead of explicit tags ql, qr, qo, etc.

This will allow us to change the number of wires arbitrarily by just setting the variable Plompiler.Csir.nb_wires_arch.