Recreate the images from labs in draw.io

We should use .svg, not .png for the images. This will make them editable.