Update extensions/GettingStarted to master:

* Changes how Redis sync does batching
* Added a debug script for showing the contents of the GettingStarted Redis sets
* Tweaking notification verbiage

Change-Id: I0c9f8c12b5f6dbf9783d41076a4c6ce0a2fbc066
Merge "Update extensions/GettingStarted to master:" into wmf/1.22wmf2