tool: add --viper-output option#534

midnightveil merged 4 commits into

seL4:mainseL4/microkit:mainfrom

au-ts:viper/export-finalau-ts/microkit:viper/export-finalCopy head branch name to clipboard