Remove old GitHub script.

GitHub stopped allowing these sorts of downloads ages ago.