Fixes an issue where git:// doesn’t work on web proxy.
Adds a shell script to download Android platform tools manually after completing `vagrant up` with web proxy.