dde_rump: rump_iso compare output on 64bit systems

Fixes #1141.
dde_rump: fix int casting warnings

Fixes #1141.
dde_rump: implement rumpuser_dprintf()

Though we do not actually need this function, it is helpful while
debugging.

Fixes #1141.