INSTALL.rst: new debian package name for python3