Update INSTALL documentaion; make it markdown too