PHP library for closure serialization