Opera Software on Tuesday released an updated version of its Opera Mini browser for Android. The highlight of the updated app, now up to version 11, is the inclusion of a new compression technology. O…