Static site from master c163bc1e

Except for changes to stbt.html and index.html that I'm not sure about,
possibly caused by me now using a newer version of pandoc.

Note that most of the changes are because I added "--smart" to the
pandoc command. The only new thing is precondition.html.