initial Opera Mini support

simplify Opera Mobile check slightly in case some strings have
"Android;" instead of "Android "
Merge branch 'master' of github.com:trawick/user-agents