Fixes to std::rt::io::file documentation.

The example code was not importing the right symbols.