Add Redis to benchmarks page

Signed-off-by: Don Marti <dmarti@cloudius-systems.com>