FIX #2073: Don't add empty lines to GHCI's history