Converts pinyin with tone numbers to pinyin with with tone marks. (Refactor of the Toshuo.com tone tool)