PHP extension for libsodium