Buffered disk IO streams

This is my second attempt at tacking on some IO buffering from RPython.  I'm prepared to keep attempting, or let someone else do it right.

Want feedback please :smiley_cat: