Merge pull request #42 from stanford-ppl/wip-release

Wip release
Merge branch 'master' into cpp-hashmap
sync