Add a demo
Update the docs and the Cabal file