"synchronize users to contacts" will time out for many users and contacts

I'm guessing that for any installations larger than about 5k contacts, this procedure will time out with the default php max_execution_time of 30seconds. This patch adds a simple set_time_limit(0) so that it runs until it's done.