Push HEAD along with tags

Fixes #45.

We switched from `git push` to `git push --tags`, but failed to notice that `update_examples()` committed the changes it made but did not push them.
Pushing the commits and the tags simultaneously seems nice and atomic.
Merge pull request #48 from jrha/fix-quattor-version-update

Push HEAD along with tags