add simple permutations tutorial, lightly edited

[ott2]

Added orphaned tutorial on simple permutations by @ruthhoffmann and @gokberkkocak with a few copy-edits. Now uses the bijective property rather than a separate allDiff constraint.