O(1) Labs-led lightweight blockchain Coda Protocol said that it is relaunching as “Mina,” following a settlement in a trademark dispute with software maker R3.