Make use of Boot's Jedis-based Redis auto-configuration

Boot 1.1.0 now provides a Jedis-based Redis connection factory as part
of its Redis auto-configuration support. This commit updates the guide
to use it rather than configuring Jedis manually.

Completes #5