fix String.lines to not discard empty lines, for #518