Delete INSTALL.txt

This file is deprecated with changes brought by pip.