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
```
Yeah, this fetch is actually for the first time in order to fetch the `gh-pages` branch in case you didn't do that before. That way, doing `git checkout gh-pages` would make it track the one in origin