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>
It's still correct for plat-stm, but never has been for plat-vexpress since they differ.