Add blurb in the user guide re stdout buffering differing between GHC and GHCi