* Added time measurements to batch file produces for windows.
* Removed redundant quotes from echo messages on windows.