Delete INSTALLATION

It's obsolete now with the new installer script.