Add some description of the +RTS -t/-s/-S output