This worklog introduces a record buffer which is allocated by the
executor and given to the storage engine for fetching batches of
records.

InnoDB is changed to use the buffer instead of its own prefetch cache
if a record buffer has been provided.