new git alias: git sync

This does like repo sync, ie, sync to all remotes at once.

Signed-off-by: Gaetan Semet <gaetan@xeberon.net>