Add a shorter timeout to the symbolication request.

Most requests are a lot faster than 1s, but we still get many that are a lot
slower. There is probably a bug in the symbolication server. For now, having
a short timeout in the python script at least lets us complete the job at
a reasonable time.