Add setup scripts for Ubuntu 20.04#4082

zhassan-aws merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:ubuntu-20.04zhassan-aws/kani:ubuntu-20.04Copy head branch name to clipboard