Add new Opera browsers: Coast and Opera Mini