Svg export

This includes the export menu entry move to the file menu.