Tutorial on using Pigeons with TreePPL#28

elegios merged 7 commits intotreeppl:mastertreeppl/treeppl.github.io:masterfrom

ErikDanielsson:pigeons-docsErikDanielsson/treeppl.github.io:pigeons-docsCopy head branch name to clipboard