Fix XDesktop specification for renaming seec-trace-view to seec-view.
Add "-counts" argument to seec-print, which will count and print the number of each EventType in an unmapped trace.