StdioStream getline now handles eof correctly

fixes still haven't been applied to read() yet though
fix 2 failing functional tests

only one more to go!