Add documentation about how to use dune-codegen in an offline environment

@rhess Could you try this at some point.

The docs are currently missing how a local package index can be relocated into a completely isolated environment, but I want to wait until the devpi website is up again to read up on that.

This fixes #127 (closed).