Update regexes to match type suffixes found on windows

`uint32_t` for example fully specifies the the integer is unsigned and
32 bits. But it could be implemented as a `typedef unsigned` or a
`typedef unsigned long`, so long as these underlying types fulfill the
requirements.

Author: thomasspriggs

regression/cbmc/integral-trace/test.desc

@@ -7,16 +7,16 @@ activate-multi-line-match
 VERIFICATION FAILED
 <full_lhs>u8</full_lhs>\s*<full_lhs_value binary="01100001">97</full_lhs_value>
 <full_lhs>u16</full_lhs>\s*<full_lhs_value binary="0{12}1000">8</full_lhs_value>
-<full_lhs>u32</full_lhs>\s*<full_lhs_value binary="0{27}10000">16u</full_lhs_value>
-<full_lhs>u64</full_lhs>\s*<full_lhs_value binary="0{58}100000">32ul</full_lhs_value>
+<full_lhs>u32</full_lhs>\s*<full_lhs_value binary="0{27}10000">16ul?</full_lhs_value>
+<full_lhs>u64</full_lhs>\s*<full_lhs_value binary="0{58}100000">32ull?</full_lhs_value>
 <full_lhs>i1</full_lhs>\s*<full_lhs_value binary="0{6}10">2</full_lhs_value>
 <full_lhs>i2</full_lhs>\s*<full_lhs_value binary="0{14}11">3</full_lhs_value>
 <full_lhs>i3</full_lhs>\s*<full_lhs_value binary="0{29}100">4</full_lhs_value>
-<full_lhs>i4</full_lhs>\s*<full_lhs_value binary="0{61}101">5l</full_lhs_value>
+<full_lhs>i4</full_lhs>\s*<full_lhs_value binary="0{61}101">5ll?</full_lhs_value>
 <full_lhs>in1</full_lhs>\s*<full_lhs_value binary="1{6}10">-2</full_lhs_value>
 <full_lhs>in2</full_lhs>\s*<full_lhs_value binary="1{14}01">-3</full_lhs_value>
 <full_lhs>in3</full_lhs>\s*<full_lhs_value binary="1{29}100">-4</full_lhs_value>
-<full_lhs>in4</full_lhs>\s*<full_lhs_value binary="1{61}011">-5l</full_lhs_value>
+<full_lhs>in4</full_lhs>\s*<full_lhs_value binary="1{61}011">-5ll?</full_lhs_value>
 --
 --
 Checks that the binary value is printed for integral types.