redis server written in Go