tool: Separate argument parsing#486

Ivan-Velickovic merged 1 commit intoseL4:mainseL4/microkit:mainfrom

au-ts:viper/argparseau-ts/microkit:viper/argparseCopy head branch name to clipboard