A parser for robots.txt files