Make HPC use an RTS option to select the tix file
D3357 will document the currently-undocumented
HPCTIXFILE environment variable. I think, however, that we really should change how that's controlled. Make it an RTS option like any other, which can be controlled using
+RTS, or the
GHCRTS environment variable.