- implement +RTS -t  (one-line GC stats)

- clean up: use integer variables (counting ticks) rather than doubles
  to store time values, and only call times() once on entry & exit
  from GC instead of twice.  Carry on using times() rather than
  gettimeofday(), since we don't really need the increased accuracy.