A web crawler written in Python