Several Stdio.FILE related changes: Cleaned up handling of linebuffering. Split get_data() into get_data(), low_get_data() and get_lines(). do_lines is no more. Made some functions better aware of the line buffer. Documented some functions and variables. Rev: lib/modules/Stdio.pmod/module.pmod:1.177