INSTALL: deprecated note about setting the terminal type

The original commentary dates back to Leopard and is no longer relevant
on Mavericks.