02595ed Add deployment script to GitHub Pages.