utf8 encoding snippet in python-mode