Red Star OS 3.0, "OS X" norte coreano - CocaTech