Update the INSTALL doc for 0.7.0