XML trace test: do not hard-code pointer bit pattern

The exact bit pattern of the pointer is irrelevant to this test. It's
just the content of the underlying array that matters.

Author: tautschnig

regression/cbmc/xml-trace2/test.desc

@@ -1,8 +1,8 @@
 CORE
 main.c
 --xml-ui
-<full_lhs_value( binary="0000001000000000000000000000000000000000000000000000000000000000")?>\{ 14, 0 \}</full_lhs_value>
+<full_lhs_value( binary="[01]+")?>\{ 14, 0 \}</full_lhs_value>
 ^EXIT=10$
 ^SIGNAL=0$
 --
-<full_lhs_value( binary="0000001000000000000000000000000000000000000000000000000000000000")?>"\\&#14;"</full_lhs_value>
+<full_lhs_value( binary="[01]+")?>"\\&#14;"</full_lhs_value>