Add Debian instructions