use server pixel format when we have to, otherwise push for native
remove duplication
initial ATEN support, authenticates and starts doing a screen update
tidy up
remove need for _rfb_aten_ikvm