Separate dev version info to GitHub API

Do some github API gymnastics to get the SHA for the info blob on github, and
then request it and use it to populate the dev version field.