Examples and docs

The first patch removes the `planet` paths from "examples/backup.rkt", which cause the "aws" PLaneT package to get installed.

The second patch enables docs for the package when installed. Beware that it also adds back @title, and it adds a ".gitignore" file to ignore a generated "doc" subdirectory.