don't apt-get dist-upgrade for now - wait for workaround - CVE-2016-1252

This thread is now obsolete. Closing. On the security issue, use the following thread for support requests instead:

https://forums.whonix.org/t/how-to-upgrade-debian-whonix-etc-without-being-compromised-by-cve-2016-1252