A web crawler in python