Batch file for mirroring eclipse plugin repositories