Change read() to take a FILE.

The read() and write() functions should have parallel API designs in
that they both take FILE.

Fix some docs.