Release notes:

• added support for Ubuntu 20.04
• updated Boogie, Corral, and Z3
• cleaned up SVCOMP heuristics
• implemented support for Rust cargo
• model bit-wise operations as integer operations when possible
• cleaned up SVCOMP witness generation