Add some more fields to +RTS --info