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>
to be handled?