Website: add link to gitrepo to _config.yml
Website: add link to gitrepo to _config.yml

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