fix: input name

[rpalakkal]

No description provided.

[yi-sun]

LGTM, but just want to make sure @ytham sees this to make sure there isn't any issue in another downstream dependency.

[ytham]

@yi-sun @rpalakkal unfortunately we have inputs instead of input all the way down the stack to halo2-browser; do we want to rename them all to be consistent? (i.e. the *.circuits.ts file will use the inputs var, halo2-browser cli also uses inputs, and halo2-lib-js uses inputs as well). i'm all for doing it for consistency now versus later, but wanted to get your thoughts.

[yi-sun]

@ytham -- maybe we can make the CLI flags also --inputs and --outputs for consistency then?

[ytham]

@yi-sun sure, we can do that as well; any preference on your end?

[yi-sun]

@ytham -- probably simpler to unify around --inputs and --outputs. The main motivation for this PR is just that right now the CLI inputs don't correctly override inputs defined in Typescript, which is blocking for some AxiomTest features