replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

libbarrelfish: started merging proc_mgmt_client and spawn_client

The arugments for spawn_* calls change from domainid_t to
a cap to do any kind of referencing a process.

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

libc: removing newlib, adding BSD libc
posixcompat: moving gettimeofday to libc
harness: adding a simple math test
lwip, lwip2: moving includes to /include, compiling with BSD headers

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

moved spawn flags into spawndomain.h

Make everything compile for 32bit.

Fixes mostly printf specifiers all over the source tree.

Make everything compile for 32bit.

Fixes mostly printf specifiers all over the source tree.

Refactor alloc_inheritcn_* to alloc_inheritcn_with_caps.

Instead of having an alloc_inheritcn_* function for each possible
capref in the inherit cnode.

Refactor and fix broken usr/testdesc
* usr/testdesc/testdesc.h had an outdated copy of include/vfs/vfstab.h in its
header file. This patch removes this duplicate header code and includes the
header.

* Remove hard-tabs from Hakefile.

* Use libDeps in the Hakefile and remove unneeded libraries.

* Add it to symbolic_targets.mk so that it gets build by the buildall tests.

* Move files from usr/testdesc to usr/tests/testdesc.

Overall, the code compiles again and also seems to work properly.