Improve style of read_trs_files bash script

The script is now shellcheck-clean.

Incidentally, fix a bug in the counting of xfailed tests when there are several
such tests in a single .mod file.