Change github repository for version check.

Either change github repository for version check or update vernum.num.
Merge pull request #1 from oppsig/master

Change github repository for version check.