A Redis HTTP interface with JSON output