replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

DeviceQueue: Solarflare driver added

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

Now, it is working till the state before doing the merge with tip.
Webserver is loading, but is not able to handle http request.

Added support for e10k hw filtering to device manager lib
This extends the device manager library to allow the use of e10k
hardware filters (type = 1). However there is still a problem that looks
like heap corruption in the device manager process runtime. Sometimes
the library tries to send a bind_port response to a get_port request
because the bind field somehow changed its value. But I don't think this
commit is responsible.
---
lib/net_device_manager/Hakefile | 5 +-
lib/net_device_manager/device_manager.c | 6 +-
lib/net_device_manager/e10k_filt_cl_impl.c | 234 ++++++++++++++++++++++
lib/net_device_manager/port_management_support.h | 3 +
4 files changed, 243 insertions(+), 5 deletions(-)
create mode 100644 lib/net_device_manager/e10k_filt_cl_impl.c

device manager is now converting port allocation requests into
filters and sending them to queue_managers.

The replies are not yet returned back to applications.

--HG--
rename : usr/netd/portalloc.c => lib/net_device_manager/portalloc.c
rename : usr/netd/portalloc.h => lib/net_device_manager/portalloc.h

now device manager has a notion of multiple h/w queues, multiple filter
implementations.

First step in getting net_ports.if working.
This involves breaking the netd apart and implenting it as
net_device_manager library. The work is progressing in this direction,
but still quite a way from being complete.

This version just compiles with net_ports interface and net_device_manager
library, but it is not working yet.

--HG--
rename : if/netd.if => if/net_ports.if
rename : usr/netd/Hakefile => usr/netd/Hakefile_disabled