Define additional paths for devel and doc targets

These directories will be moved to devel and doc targets processing
the build results directory.

We define these paths here because they heavily depend on what's
inside the manifest.