Typos in gnttab.mli
Documentation of module Io_page and improvement of the Io_page.string_blit function.