Actors

Changes to Redis pub/sub code to make better use of threads; involves sending messages through actors.