updated INSTALL to include texlive-lang-greek