Move rounding_mode_identifier() to configt#6555

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

tautschnig:rounding-mode-symboltautschnig/cbmc:rounding-mode-symbolCopy head branch name to clipboard