INSTALL.md: grosses retouches.