Added test case for reading from concolic buttons and failed injections cause an error in the concolic tests.
Added support for regex replacements of newlines.

In fact, as the solver does not generate new lines, these particular regexes can be ignored.

We can now pass jQuery tests on string variables, but still cannot pass jquery-val-test.html, as it requires both string and int constraints on the same variable.