Tool for working with DejaGnu output