Fix README, delete INSTALL (check docs/manual*)