Remove numeric suffixes and combine directories in regression/cbmc-library#8815

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cbmc-library-no-suffixtautschnig/cbmc:cbmc-library-no-suffixCopy head branch name to clipboard