[Bug 879917] Replace TightVNC with TigerVNC as default VNC client