generate a unique JUnit result xml file, based on getpid() and time()