Simplify example setup

Git supports the push -u flag since a while now,
and it's nice to show the user that afterwards
one can push without arguments.