Add a `justfile` with basic support for building CBMC and executing Rust API tests.#7486

NlightNFotis wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NlightNFotis:add_justfileNlightNFotis/cbmc:add_justfileCopy head branch name to clipboard