We no longer assume redis runs on localhost.

  The user may specify an explicit server:port for the redis
 server in the configuration file.
  Updated comments.