- Added HPCRIX support for passing tracer filename. - Added thread tracing support. - Cleaned up use of HsFFI.h