Add read_full to std::io::ReadExt

Since the `read` function of `std::io::Read` may read less than the length of the buffer passed to it, adding a function named `read_full` which calls `read` in a loop until the buffer is filled can be useful.
