housekeeping: developer cli

[MCJOHN974]

Here I tried to gather all commands I frequently use in one place. Fixes #116

[MCJOHN974]

Questions for reviewers:

1. Does anybody know way to run only one zkasm file with verbose output?
2. Does anybody know scenario when we locally compile without env UPDATE_EXPECT=1 ?
3. Any other commands we want to see here?

[MCJOHN974]

Also, using python make usage of script 8 key pressings longer, but I so love what python argparse do (it even generate -h automatically), comparing to bash, so...

[mooori]

Does anybody know way to run only one zkasm file with verbose output?

I haven’t tried it yet.

Does anybody know scenario when we locally compile without env UPDATE_EXPECT=1 ?

Possibly when doing a refactor which should not change generated zkASM.

Any other commands we want to see here?

Looks complete to me. Though keep in mind that I’m relatively new to working with this repo.

[mooori]

This will be helpful, thanks @MCJOHN974! So far I’ve been keeping local Makefiles with commands I’m currently using. Having this cli instead provides a better dev experience.

LGTM overall. I didn’t write Python in a while, though, so can’t judge any Python specifics.

[nagisa]

Would it not be a good idea to use the same tooling we use in nearcore (Justfile in particular) rather than writing our own python scripts for this (and even if we did not use just – why a python script over something less verbose like make ninja etc.?)

[MCJOHN974]

Since we will significantly rework testing and benchmarking, this code no longer needed. But I think it will be nice to have such cli once changes in testing and benchmarking will land