moved INSTALL to docs/INSTALL to get rid of conflicts with the "install" script on Windows (where the file system doesn't preserve CASE)