Whonix-Gateway: Removed workaround for http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=732578 (USE_AA_EXEC="no") by removing Whonix's displaced (config-package-dev) /etc/default/tor since that bug has been fixed upstream.
moved Tor specific configurations to separate whonix-tor-config package
updated frozen repository
updated frozen repository