Add sodium_init(), sodium_reinit() and sodium_shutdown()