Update INSTALL from 1.2 branch; deprecate install.php and update.php.