RobotsMatcher.ever_seen_specific_agent

Returns true iff, when AllowedByRobots() was called, the robots file referred explicitly to one of the specified user agents.