Uses now pdf2svg to generate the figures in SVG directly from the tikz descriptions. Cleaner images than with ImageMagick
New exercises with a better visualisation for the Sharing resources exercises.