Added tracing support

Could we perhaps swap out the talex5 for a mirage/lwt#tracing, given this will be in the main tool?