Add ansible.
Update hyperdex to 1.1 and add missing po6 library.
Add CVC4.
Add digital ocean dopy library.
Build CVC4 from master + enable swig.