Improve the GitHub WWW publication script to keep history and remove big files from history


Former-commit-id: 170bf98b3f4359f872bab32b891b744c764f35c2