test/*: new 'RESULTS' line format (easier to parse);
test/bin/run-tests.sh: reduced format dependencies (on test lines);