Add a script to update gh-pages files.

Resolves #753.