PHP library to manage a Public Key Infrastructure