Change github repository for version check.

Either change github repository for version check or update vernum.num.