improve debian-mini.sh menu, add debian-mini64.sh script

debian-mini for amd64 has the same structure than debian-mini for i386
mini.iso has to be renamed to debian-mini64.iso
ftp://ftp.us.debian.org/debian/dists/testing/main/installer-amd64/current/images/netboot/