Python Flash web app to convert RAR files into ZIP files