replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

flounder: making const pointers in receiving handlers, using CONST_CAST as a temporary solution in few places but finally it should be removed

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

Moved capstorage from chips in dist2.

* Added compile trace replayer
* Disabled fixes to bcache locking
* Fixed hashtable to use const void instead of just void
* Made fopen buffer even bigger to preserve close-to-open semantics
for larger files.
* Worked around SCC bootup race (channel teardown NYI)

Merge from ASPLOS tree.