Process tracing and register manipulation (a.k.a. ptrace)

See merge request !14

I am very tired, unfortunately, so all my proof-checking won't be
enough here.

Channel IPC - finished up

See merge request !11

event-overhaul:  Overhaul the kernel event system to support mio.

Fix template naming

Namespace syscalls