Add a +RTS --info flag print various info; partially fixes trac #1517