ci: Use publicly available Docker image for Doc generation

Public CI cannot access internal Docker image. As `pages` is executed in
public CI, use a suitable Docker image.

Signed-off-by: Saheer Babu <saheer.babu@arm.com>