Firefox extension that changes the user agent randomly