run_piglit: make html summary automatically