Update configure step for waf in INSTALL

The new-style "--with-flavors" configure option was not documented in INSTALL.