Program (based off Peter Norvig's code) to generate the shortest regular expression to match a mobile browser's User-Agent.