doc: Use correct image extension depending on document type

HTML document should use SVG image files and PDF document should
use PNG image files. To achieve this, replace the image file
type extension with ".*".

Also increase the size of some diagrams which appear a bit small
in the documentation.

Signed-off-by: Ziad Elhanafy <ziad.elhanafy@arm.com>