Add GitHub Actions workflow to build and deploy docs on push or manual
trigger. Replace PATTERNS.md generator with an HTML generator
(scripts/generate_docs.py) that emits docs/index.html and creates
.nojekyll. Update .gitignore to ignore docs/ and update README to link
the Pages site.