Slidy:  Use slidy.js rather than slidy.js.gz.

Reason:  some browsers have trouble with the gzipped js file,
at least on the local file system.

Closes #795.