CLI: Various enhancements

[oskarth]

We currently have basic mopro-cli support. The following is a list of various nice to haves, in no particular order. Some of these issues might be promoted as more relevant depending on user needs.

More immediate

• [x] Add Android support (similar to iOS logic)
• [x] Allow for exporting binding artifacts if working outside of template dir (AA needs this)

Also:

• [ ] mopro prepare - for feature completeness we want this so we don't need any more ad hoc shell scripts

List

• [ ] Allow user to specify name of project and have it change name of crate etc (use sed? some Rust template thing?) https://github.com/zkmopro/mopro/issues/139
• [ ] Figure out how to not require user to have MOPRO_ROOT git checkout (a bit more involved probably)
• [ ] Allow user to change mopro.udl bindings (unclear how big of a need? right now specified in mopro-ffi)
• [ ] Add support for iOS test
• [x] Simplify iOS example app (right now copy of current setup, can be drastically simplified without lib etc)
• [ ] (Optionally) git init project (and cd into dir?), similar to foundry

Notes

Feel free to add or comment on above!