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.