Do not instrument built-ins#292

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

peterschrammel:do-not-instrument-built-inspeterschrammel/cbmc:do-not-instrument-built-insCopy head branch name to clipboard