A web crawler in Python