cmdline tutorial: don't export SVG backend

Causes the doc build to fail under cairo (because of the clash over `B`)
simplify Hasse example with `boundaryFrom`