Bugfix: problema de encoding al grabar un archivo en un ZIP.

Bugfix: problema de encoding al grabar un archivo en un ZIP.
ZipFile.write() hace unas manipulaciones binarias con el nombre del archivo y si
el nombre de archivo es unicode da error, por lo que hay que decodificarlo
previamente. Este arreglo es temporal, habría que acordar una codificación para
nombres de archivo en los ZIP (AFAIK el formato ZIP no sabe de codificaciones) y
guardarlos/leerlos siempre en esa codificación (UTF-8 seguramente).