This adds CBMC as git submodule in `lib/cbmc`. This allows pinning an explicit commit in CBMC as basis for HW-CBMC development. This facilitates collaboration and reconstructing of specific versions.
Matthias Güdemann