Updated INSTALL file: added syntax highlighting