Some solvers were using escape sequences of the form \x?? in the past
where each ? would stand for a hexadecimal digit. This commit updates
these escape sequences to match the new strings standard. I have used
CVC4 commit 82f5610a to check the syntax.