Install kani into container

Install kani in the container to be able to run proofs.

Signed-off-by: Matias Ezequiel Vara Larsen <[email protected]>

Author: MatiasVara

build_container.sh

@@ -151,3 +151,6 @@ if [ "$ARCH" == "riscv64" ]; then
     # Setup network
     echo $'auto lo\niface lo inet loopback\n\nauto eth0\niface eth0 inet dhcp\n' > /etc/network/interfaces
 fi
+
+cargo install --locked kani-verifier
+cargo kani setup