rename INSTALL file, now it is shown nicely on github
move installation procedure to INSTALL.org