Make regexes windows compatible

Lines are separated with `\r\n` on windows, rather than just `\n`. So we
need to match both kinds of separator in order to be platform
independant. As we don't require the xml elements to be on separate
lines and `\s` already matches both `\r` and `\n` we can just let `\s*`
match all the line separators as well as any indentation characters.

Author: thomasspriggs

regression/cbmc/integral-trace/test.desc

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