PHP bindings for libgit2