Developers working for startup OpenZeppelin found and patched a vulnerability in the open-source code of Facebook’s Libra