Add recodetree script to convert non-ASCII file names to UTF-8