integrate libsnark ; update docs ; Buffet edits

- Integrated libsnark backend (https://github.com/scipr-lab/libsnark)

- Updated/expanded documentation

- Various tweaks and edits related to Buffet camera-ready version