replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Cleaning up the fish mess.

Not sure why we had two files fish.c and fish_arm.c with the same content
except for the reboot and poweroff functions.
Now we have only one again. Next step is to provide a platform independent
abstraction for reboot and poweroff in the OS since we don't really want platform
specific shells...
Also added nproc command that prints the should print amount of OSnodes
in the system.

Fixed libbarrelfish spawn_client() and fish_arm to use standard functionality.

moved spawn flags into spawndomain.h

Return number of instance spawned in spawn_on_all_cores.

This also allows to remove the get_num_cores call in the
monitor and is the more sane approach anyways with dynamic
cores.

Changed fish for arm to give session cap to spawned programs.

tmp: debugging pandaboard fish not able to spawn domains.

Revert "Trying to debug why fish can't connect to spawnd."

This reverts commit c5a533a3b4e8ef2a330337f8ef00b8af7516c54d.

Removes a bunch of debug printfs.

Change fish_arm to new terminal API.

Trying to debug why fish can't connect to spawnd.

Change fish_arm to new terminal API.

pandaboard: Bugfixes after merge

removed tabs

reverted usr/examples/... and single slot alloc,
Added arm fish