Simple, streamlined PHP user-agent parser.