Changed directory layout

[Josef Söntgen]

Hello Norman,


> as discussed in the issue "Source-code package management" [1], I
> changed the directory layout of Genode's source tree in the staging
> branch [2].

Finally :-)

> I hope the transition to the new new directory layout will be free of
> major trouble. If you have strong concerns, now (as the patch is not yet
> in the master branch) is the time to raise them. ;-)

I have no objections but a few remarks:

Cherry-picking old commits that add new files will obviously place the new
files in the old directories. To solve this issue one can move the files to
the new directory and squash this commit after cherry-picking. Afterwards
the usual rebase -i may be used to clean-up the history.

After switching to the staging branch Genode's top directory is still filled
with old directories which contain contrib code. In this case either execute
'make cleanall' in all reporistories before switching the branch or execute
'git clean -f -d' thereafter. (However, witching back to master requires
'make prepare'.)

In addition to get the complete history of a file 'git log --follow' must be
used.


Cheers
Josef