dl_files: use HEAD when no content is desired.
dl_files: use HEAD when no content is desired.

This function requests the file index of the specified database, to
check whether it exists, but does not actually read its contents.
This is a waste of bandwidth and a waste of processing time on both
ends.  Change this to perform a HEAD request instead.

MIT-LCP/wfdb-python