Have CI task obtain libsodium-0.4.2 tarball from Github Releases