wrong command in redis example

[matti]

After the target is built, run the following command to start Redis server:
./bazel-bin/asylo_redis

but, the binary is created as ./bazel-bin/asylo_redis_sgx_sim