Add new Opera browsers: Coast and Opera Mini

This commit adds support for 2 new Opera browsers: Opera Coast and new Opera Mini for iOS.