A tool to download GNU software archives