Update example text for thai in pyteaser.py