Updated doc for v1.8.1; improved packaging.

- That is, I updated the documentation to use the new examples added in version
  1.8.1, from the DETONATE paper.

- I also improved the packaging scripts a bit.