* build-aux/bootstrap (gnulib_tool_option_extras): New var, used by