PIN trace tool doesn't set time_end in USF header

The PIN trace tool doesn't store the wall clock time when the trace ended. This may seem trivial to fix, however, there is currently no support to update the header once a file has been created, so we need to add support for that first.
