Update INSTALL

Add Debian informations