replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

bfscope: Explicitly add monitor flounder interface

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

bfscope: Explicitly add monitor flounder interface

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

bfscope: Implement variant that dumps traces over NFS

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

New tracing infrastructure

This is a Distributed Systems Lab project by
Alexander Grest <agrest@student.ethz.ch> and David Stolz <stolzda@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 a library procon for producer/consumer based shared buffer management.
Also, added the library in the Hakefiles of all applications which needs it.

Initial version of public stable barrelfish repository.