use a string instead of macro for version number#2638

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

CBMC_VERSION_stringdiffblue/cbmc:CBMC_VERSION_stringCopy head branch name to clipboard