Configure static export and GitHub Actions workflow to auto-deploy to GitHub Pages on push to master.