new --whonix-gateway, --whonix-workstation, whonix-custom-workstation options as synonym for --tor-[...]