Add Pyinstaller

We use Pyinstaller to convert Python program to Windows executable file.
Fix extract file on Windows

Also add a batch script to build executable file.