embedd files using hex literals instead of string literals#8332

kroening wants to merge 1 commit intodevelopdiffblue/cbmc:developfrom

file-embedddiffblue/cbmc:file-embeddCopy head branch name to clipboard