Ported install-robolectric.sh to a Windows-based batch file.
Merge pull request #1411 from kriegfrj/installbat-windows

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