Update INSTALL.md to remove lint.jar