replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Remove the core boot state machine from spawnd.

This achieves the following: We no longer have duplicated code in kaluga and
spawnd. And spawnd only does what it's intended to do (spawning programs on
the core it's running on).

Initial version of public stable barrelfish repository.