Add a basic INSTALL file

I'm not sure now. Maybe I'm confused.