arti: Move proxy subcommand to a separate module.

No functional changes, this is just code motion.

This helps organize the code in arti/src/lib.rs a bit: it now only contains the argument parsing and various other setup, and all the subcommands are contained in separate modules.