doc update: use apt-get instead of aptitude for Debian and derivatives