Updated INSTALL (still WIP).