minisat: download ældre versioner

Her er 1 versioner af minisat, fra 13. juli 2025 til den aktuelle 2.2. Hver version linker til udgiverens egne installationsfiler.