Use /etc/debian_version to determine the DIST value; this is needed as a
workaround for #911382 (LTSP).

Drop no longer needed code (related to mirror and proxy setup).