Docker: don't mount RVT readonly
Docker: don't mount RVT readonly

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