A simple web crawler, implemented in Python