Small library for browser user agent identification, based on the UADetector Java library