replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

T24: remove remaining SCC code

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

slimmed down the usage of shared_queue in receive and send path
Also, modified analyze_traces.py to accommodate antoine's benchmarking

Fixed the issue with loading large files over NFS.
The problem was mainly due to the way notifications from the driver were
handled by the application. Now, every notification from driver triggers
both handle_tx_done and handle_incoming_packets.

The NFS is still slow, but most probably due to the use of inefficient pbuf
type PBUF_RAM

Partially working version with two bugs
1. Assertion failure about "Slot not clear" due to the unclear logic in
sp_process_tx_done
2. Same packet getting delivered twice and hence generating Unknown XID warning
in rpc.c code

Mostly working version of new bulk transport

Cleaned up most of the debugging code in procon and mem_barrelfish
Still there is a debugging code in ethersrv and also, mem_free is still wedging

Fixed the memory overwriting problem. Now the netd is getting the IP
but pbuf free is going crazy. Also I need to cleanup all the debugging code
added to find the memory overwriting problem.

Found temporary fix for the assertion failure in pbuf initialization code
Somehow, adding slots into shared_pool is somehow leading to the changes
in the variable buffer_list and corrupting it.

Fixed some subtle bugs in procon library

Added code to deal with tx_done communication with spp
but this code is broken. Need more debugging to get it working

Minor changes in procon library to fix few minor issues

Sending packets to driver from applications is working with procon library
The library has become little complicated and needs some cleanup, but
good part is that, it is working.

Added code to map the shared_pool memory into driver

shared_pools are getting registered with buffers
Now, need to load them properly into driver address space.

Added code in procon library to create shared frames

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