toFile

Opens a UTF-8 buffered writer on path for writing a .atf trace (gzip if *.gz).