update tinyram submodule ref
Improve caching behavior for store and load
update CHANGELOG with tag names
add missing template files
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