Add a push launcher, since the counter in EGit can make its push slow.