Browser maker Opera has big goals for Android, and a newly revamped mobile app to help with the effort. The company on Tuesday released a new version of its Opera Mini mobile browser, offering a ...