Install deps that kani requires for non-root users on Rust dev-desktops

[zjp-CN]

1. apt install PR: dev-desktops: Install bison, zlib1g, zlib1g-dev, and unzip rust-lang/simpleinfra#709

2. specify installation path when compiling them from source

# download cmbc
git clone https://github.com/diffblue/cbmc cbmc-git --depth 1
cd cbmc-git

# way1 to build cbmc
cmake -S . -Bbuild  -DWITH_JBMC=OFF
cmake --build build -j# #is num of CPUs, defualt to 1 if not specified
mv build ~/.local/bin/cbmc

# way2 to build cbmc
make -C src install PREFIX=/home/gh-zjp-CN/.local/bin/cmbc -j#

# install kissat: remove sudo and modify installation path
bash scripts/setup/install_kissat.sh