Pinyin methods!

pinyin.py converts between tailo with tone numbers and tailo with tone
marks, both directions.