Delete INSTALL.txt

This file is deprecated with changes brought by pip. Furthermore, it's better we centralize all install instructions in a single file like README or wiki.