Bitmain investit $50 millions dans le navigateur web Opera