rustdoc
Rather than collecting a list of file names in `libm-test/build.rs`, just use a script to parse rustdoc's JSON output.