Update INSTALL file.
tree20feab089a90c2d3d588a72d679947d096b81b29
-rw-r--r-- 54 .gitattributes
-rw-r--r-- 401 .gitignore
-rw-r--r-- 5349 INSTALL
-rw-r--r-- 785 LICENSE
-rw-r--r-- 3659 Makefile
-rw-r--r-- 2273 Makefile.cnf
-rw-r--r-- 2085 Makefile.inc
-rw-r--r-- 5767 README
-rw-r--r-- 7106 TODO
drwxr-xr-x - clisp
-rw-r--r-- 7249 com.dvlsoft.clon.asd
drwxr-xr-x - demos
drwxr-xr-x - doc
-rw-r--r-- 5993 package.lisp
drwxr-xr-x - sbcl
drwxr-xr-x - share
drwxr-xr-x - src
-rw-r--r-- 1296 version.cl