A simple Redis-backed distributed mutex for PHP.