Increase timeout to 10 minutes

This is working around the problem of slow reindexing, rather than
putting in a proper fix, but for the time being this seems to be the
easiest way to solve this problem.