Make global_time and trace_file_lines_counter be the same thing.

This was making #78 slightly more annoying to work with.