Update user_agents.php
Merge pull request #538 from tmihalik/patch-1

Add new robots to user agents