Integrate `mmap` model from CBMC

[feliperodri]

Currently, we have harnesses blocked by unsupported libc libraries. Current blockers:

• mmap;
• sysconf;

We should rely on CBMC C Library models while make sure that customers can create their own stubs of these models in Kani as well.