symboldb_download_repo: add download_filter
symboldb_download_repo: retry failed downloads