Start hooking up more of the UI for dfmc-tracing.