rust: remove target JSON requirement#450

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

au-ts:julia/remove-unstable-target-jsonau-ts/microkit:julia/remove-unstable-target-jsonCopy head branch name to clipboard