improve debian-mini.sh menu
add debian-mini64.sh script
Merge pull request #11 from legrostdg/master

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