minor

added build.bat for PyInstaller. For some reason, the --onefile building
option does not work.