spectool: use our own streamed file download implementation
This works around issues in requests_download (e.g. uncompressed files
being written to disk when the server falsely claims to serve gzip-
compressed data when serving .tar.gz files), and has the nice side
effect of removing the requests_download dependency.
Signed-off-by: Fabio Valentini <decathorpe@gmail.com>