Gitignore: Fix gitignorance on runtime
Gitignore: Fix gitignorance on runtime

project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools,project-oak/rust-verification-tools