Mention autotools in INSTALL