pager documentation

Updates the pager section of the OP-TEE design document with a
description of the pager.

Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Does this mean that the information in section 2 in this document isn't up to date any longer?