Allow placing packages not at the root

In Creusot we generate Why3/Coma code, which we want to place in a subdirectory with a fixed name so it can be cleaned up without knowing the package name.

Concretely, I think this would be a flag (--include? --src?) to set the root argument of Wenv.init.