whonix_workstation/etc/init.d/bootclockrandomization: do nothing if started on Whonix-Gateway, so this script can be moved to the whonix_shared folder.