Change type of the inputLine function in TEXT_IO and TEXT_STREAM_IO

[ellerh]

To be compatible with the standard, inputLine should return a string option. According to http://sml-family.org/Basis/history.html this was changed on September 15, 2003.