A simple web crawler in PHP