Use RedisConnectionPool

Use RedisConnectionPool in GettingStarted, as suggested in the FIXME
comment, and allow the pool to be configured.

Change-Id: Iab1abc8e3650bb640aba85405fee81728e27313c