First standalone version of tbf-testsuite-validator. Identical in features to v1.2, but with small adjustments to be independent of other test-format tools. Previous project tbf-testsuite-validator belonged to: https://gitlab.com/sosy-lab/software/test-format/