Update and fix gcc builtins#337

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

tautschnig:get-gcc-builtinstautschnig/cbmc:get-gcc-builtinsCopy head branch name to clipboard