WIP: Improve Verilator version of isa test to redirect commit log to a different file for each test

Created by: jrrk

The upstream version of the Ariane Verilator support always outputs the commit log to trace_core_00_0.dasm. This is unsuitable for the run-asm-tests-verilator target because the file gets overwritten every time. This patch redirects the output stream in the Makefile before Verilator is launched. It also upgrades the output produced to a convenient machine readable format for subsequent processing in a formal model. The cycle count is reduced to 32 bits for more convenient viewing in a terminal.