changes in the script for upgrading the wifi shield
Merge branch 'wifishield-bugfix' of github.com:arduino/Arduino into wifishield-bugfix