Added floating point epsilon for the screen space error. Also, for our
strip_console_output.py, generalized it to strings with arbitrary
numbers of items between the first and last (the first and last are
always added by the JavaScript console, at least in Firefox).