Update README.md - fix link locations for badge images in markdown (rust-lang#2537)

Author: phayes

README.md

@@ -1,6 +1,6 @@
 ![](./kani-logo.png)
-![Kani regression](https://github.com/model-checking/kani/actions/workflows/kani.yml/badge.svg)
-![Nightly: CBMC Latest](https://github.com/model-checking/kani/actions/workflows/cbmc-latest.yml/badge.svg)
+[![Kani regression](https://github.com/model-checking/kani/actions/workflows/kani.yml/badge.svg)](https://github.com/model-checking/kani/actions/workflows/kani.yml)
+[![Nightly: CBMC Latest](https://github.com/model-checking/kani/actions/workflows/cbmc-latest.yml/badge.svg)](https://github.com/model-checking/kani/actions/workflows/cbmc-latest.yml)
 
 The Kani Rust Verifier is a bit-precise model checker for Rust.