This commit strips CRs from *.ok files and test output. Test failure used to be not recognized due to pipe: `cat -v` always succeeds meaning that `if ! diff … | cat -v` always succeeds too.
sed escaping is wrong: e.g. re.escape() will escape `+`, but with BRE escaped plus is quantifier