Systematic generation of SVG Figures in the documentation
Merge pull request #2 from StephaneSeyvoz/genfigures

Always generate SVG figures for Definitions.