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>
I usually try to make single hyphens in the markdown file for variable and function name, for example `tee_mm_core` ... `pager_init()`.