tracetool: add output filename command-line argument