GTK and HTML viewers for mirage-profile trace files