doc debian: use apt-get instead of aptitude