Add batch file to generate haddock on Windows.