Update INSTALL

Making it clearer that the Ubuntu-specific information is about dependencies.