Has anyone checked out serf http://www.serfdom.io/ if yes what are the pros and cons of etcd and serf?