Remove unwanted file
[distcook] / INSTALL
2016-06-21 Raphaël GertzUpdate install instructions
2016-06-21 Raphaël GertzAdd install instructions