Rework the GHCi debugger docs