deleted INSTALL.txt now that it is in the README