Update user_agents.php

Add detection for Opera 16