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
```
we are not sure if the user who will run this code will have the checkout alias, replace with:

```bash
git checkout gh-pages
```