whonix_shared/etc/apt/sources.list: changed from wheezy to stable, because wheezy became stable.