An improved Trace tool for the Genode framework