Fix small synchronization issue in WebCrawler where handleSeedEnd might
be called twice for the same seed due to two pages finishing
simultanously.