Shell: use a sane timeout for index to come up.

Assuming 10k was meant to mean milliseconds.

Are 10s enough for larger graphs, or should this rather be 30s or maybe 90s?