TOOLS-459 make timeout for stat_discover.js more generous