SVG export of entire page

[edemaine]

This is really easy to implement, just needs a button and a few lines of code to wrap in appropriate header.