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
```
Just to be 100% sure, here you want to fetch the changes on gh-pages, right?
If you want to fetch the changes on the current branch you forgot the merge.