Add doc in INSTALL