redis-wrapped-mkstemp Use Redis to generate a unique file name (port from rikonor's python redis_wrapped_mkstemp)