MiniZinc: added new models, some changes
Picat: new/changed
SETL: typo in index.html
Numberjack: Added who_killed_agatha.py (at last!)