rename scheduler to pushScheduler

the name "scheduler" is ambiguous, and pushScheduler is more precise.

Change-Id: I5d2f64b0e048ec55231b52e89a00e2927e087490
Merge "rename scheduler to pushScheduler" into 0.7.x