Added redis server starting and stopping to the example spec