Added publish.bat to easily update GitHub Pages (on Windows ;)).