Use rawgithub for SVG in manual (and make figure wider)

Change-Id: Iaa04adc97fe3921479249b2de39523d4a5fff4ca