[C++] `file.readLines()` drops the last line if it is not followed by a line separator

[marcgurevitx]

f = file.open("1.txt", "w")
f.write "a" + char(10) + "b"
f.close
print file.readLines("1.txt")  // prints: ["a"]