better aggregate results of multiple server tests
Simple script to simplify converting tex files to pdfs