Use Github API to determine latest tagged version from git/git

Reindented-by: Jan Krüger <jk@jk.gs>