hello-redis examples how to connect to redis labs resource from different types of clients: python java ruby