FigureSvgPainter: now it also prints svg header and footer (#27)