trace: Add trace file name command-line option