Added Giuseppe to Semplice's credits.
mirrorselect: some changes.

Added a script to check the semplice mirrors from a master file.
Merge branch 'master' into debian
3.91.0