Old no-longer-used configuration and tools for DynamoRIO and Dr. Memory buildbots for automated testing