Debian package names in install.rst

[skip ci]