replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

T258, T264, T270: Implement two-level cspace layout using L1/L2 CNode objects.

distops functionality is NYI.

This commit also makes the root cnodes explicit for sys_map(), closes T270.

Notable changes:
* LRPC LMP endpoints are regular capabilities in L2 cnode, no longer in root
cnode.
* Capability operations take a capability address for the root cnode relative
to which capability addresses are to be resolved. The root cnode capability
address must be resolvable in the current domains cspace.

Closes T264.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

monitor: fixed revoke and delete paths for single-core execution.

monitor debug stuff + other debug msgs.

Keep cptrs right-shifted throughout capops.

Rewrote distributed revoke and delete handling.

Properly use lock queueing when trying to delete a locked cap.

Fixed some cap locking and other issues in capops. It boots!

Changed API to better support caps from other domains.

In particular, this uses a (capref, capaddr, bits) tuple whenever a copy
a reference to a particular cap/slot is necessary, and thus copying the
cap in question is not possible.

Implemented monitor_(un)lock_cap.

Migrated capops to clearer "locking" semantics.

Added basic cap locking system to capops.