A set of web crawler tools