Ported install-robolectric.sh to a Windows-based batch file.