Switch the website to use jekyll

Unfortunately, this means that the git repository is not directly
deployable.

But! We've been clever and come up with a solution: deploy.sh, which
runs jekyll and htmlcompressor.jar and produces a deploy branch that
can be checked out and served.