Add x86 SIMD intrinsic models and generation tool#8939

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

tautschnig:fix-7718-simd-intrinsicstautschnig/cbmc:fix-7718-simd-intrinsicsCopy head branch name to clipboard