asciimath-utils: run tests with Pax-Exam