PHP library for using etcd within your application