publish: Add GitHub pages deploy script.

generated from commit fe3ca6f410d968f7b2388bec1b9b07c84eb51523