Browser maker Opera has filed to go public