tox.ini: create and publish Windows batch files

Generate Windows batch files using osbash.sh and create a zip archive
of the labs directory (for Windows users).

Change-Id: I98005cb390f80ec1681914be041084dfa737ffa5
Merge "tox.ini: create and publish Windows batch files"