Fix to properly fetch tags from a Git repository

`git clone` fetch also tags, but `git fetch` from an already cloned
repositroy doesn't fetch tags which are created after the first `git
clone`.  So that it is necessary to explicitly fetch tags.