Fixes update-github-release script to work outside Travis
Fixes update-github-release script to work outside Travis

so we can run it on a Jenkins instance etc. as well

shahin/deepdive,shahin/deepdive,HazyResearch/deepdive,HazyResearch/deepdive,HazyResearch/deepdive,HazyResearch/deepdive,sky-xu/deepdive,sky-xu/deepdive