Add headers needed to build under MSVC14 / Visual Studio 2015#1608

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/msvc14_headerssmowton/cbmc:smowton/fix/msvc14_headersCopy head branch name to clipboard