rename and split --tosa-to-boolean-XYZ to --mlir-to-scheme plus --to-BACKEND

[asraa]

Where backend could be
--to-tfhe-rust-cpu
--to-tfhe-rust-fpt
--to-jaxite

And there are a few options to mlir-to-scheme on whether to use boolean gates or lut3s and the options to vectorize.

As a first step I can split it into --mlir-to-cggi to match with our other RLWE schemes?
WDYT?

Somewhat related to #1417 #1420

and aids me to integrate it into the frontend

[ZenithalHourlyRate]

Just a note, in arithmetic pipeline the backend passes are named --scheme-to-<backend>.

As a first step I can split it into --mlir-to-cggi to match with our other RLWE schemes?
WDYT?

Agree on this.

[asraa]

Ah gotcha, --mlir-to-cggi and --scheme-to-XYZ backend for now.

[j2kun]

+1, Muthu asked on discord this morning how to convert an IR like this

func.func @add(%arg0: i8 {secret.secret}, %arg1: i8 {secret.secret}) -> i8 {
  %0 = arith.addi %arg0, %arg1 : i8
  return %0 : i8
}

To tfhe-rs, and I realized that our only pipeline that handles this is called tosa-to.... I feel like this would also help us more easily define a simplified pipeline for these cases.