A very simple Web crawler in Python - an exercise in multi-threading