Publish task

Now the html pages are generated in the `build` directory, so you can just run a server like this:

```sh
pushd build; python -m SimpleHTTPServer; popd
```