merged proxy.rkt into main.rkt

Signed-off-by: Jan Dvořák <mordae@anilinux.org>
documented some of the bus interfaces

Signed-off-by: Jan Dvořák <mordae@anilinux.org>