replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Fixed compilation related issues. Now the code compiles on most of the
architectures

Partially working version of the modified network stack.
Status: Networking works
Small website test works (Barrelfish website without pdfs)
Full website test does not work (Barrelfish website with pdfs)
Tests done with e1000n running on separate core

Barrelfish is compiling after the merge

HACK prepare lwip to compile in our setting

lwIP: Remove duplicate (and buggy) implementations in OS-specific
sys_arch.c, which are also available in the OS-generic core/sys.c. I
don't know why we had these in sys_arch.c.

Problems with the sys_arch.c implementations:

* sys_msleep(): was NYI
* sys_timeout(): Didn't properly sort new timeout into timeouts list
* sys_untimeout(): Didn't free() any removed timeout
* sys_sem_wait(): Didn't process timeouts
* sys_sem_wait_timeout(): Dito
* sys_mbox_fetch(): Dito

Note that sys_sem_wait(), sys_sem_wait_timeout(), and sys_mbox_fetch()
in sys.c still don't process timeouts, as they rely on
sys_arch_sem_wait() and thread_cond_wait_timeout() from sys_arch.c,
which currently ignore timeouts.

Merge from ASPLOS tree.

Initial version of public stable barrelfish repository.