x86_64: make all targets compile

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

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Adapted lwip to use raw/benchmark interface
This includes a bunch of changes that are not directly related to the
interface, such as changes to the lwip memory management because of
alignment requirements the current interface imposes on buffers.
Also a bunch of features is broken now like software filtering and the
queue manager statistics/benchmarks.
---
hake/RuleDefs.hs | 5 +-
include/barrelfish/net_constants.h | 10 +-
include/lwip/memp_std.h | 4 +-
lib/lwip/src/api/api_msg.c | 13 +-
lib/lwip/src/barrelfish/idc_barrelfish.c | 995 ++-------------------------
lib/lwip/src/barrelfish/idc_net_control.c | 25 +-
lib/lwip/src/barrelfish/mem_barrelfish.c | 301 ++++-----
lib/lwip/src/barrelfish/mem_barrelfish.h | 1 +
lib/lwip/src/core/memp.c | 109 +++-
lib/lwip/src/core/pbuf.c | 94 ++-
usr/bfscope/Hakefile | 2 +-
usr/echoserver/Hakefile | 2 +-
usr/netd/Hakefile | 2 +-
usr/netfile/Hakefile | 2 +-
usr/replay/Hakefile | 4 +-
usr/testdesc/Hakefile | 2 +-
usr/tests/net_tests/openport_test/Hakefile | 2 +-
usr/tests/net_tests/udp_throughput/Hakefile | 2 +-
usr/webserver/Hakefile | 2 +-
19 files changed, 389 insertions(+), 1188 deletions(-)

Added AHCI driver (ahcid), AHCI user-space library (libahci), AHCI Flounder backend, block device file system (in libvfs), and various tests and benchmarks for the above.
Source: Distributed Systems Lab: A Messaging Interface to Disks (Manuel Stocker, Mark Nevill, Simon Gerber).

Added a library procon for producer/consumer based shared buffer management.
Also, added the library in the Hakefiles of all applications which needs it.

Merge from ASPLOS tree.

Initial version of public stable barrelfish repository.