tests/Makefile, sort_test_results.sh: result sorting now outsourced to a shell script, touches the file as well