doc: Add PNG image format

Hold both SVG and PNG image formats in the repository and leave the
choice of which format to use to the rendered. SVG gets selected for
HTML rendering and PNG gets selected for PDF rendering.

Signed-off-by: Ambroise Vincent <ambroise.vincent@arm.com>