Adds git fetch for tags

The simple `git fetch` doesn't import the tags from the remote,
the additionnal `git fetch --tag` is needed.