Reset counter to 0 in namingMain (to make results for live updating in browser deterministic)
Merge branch 'master' of https://github.com/probmods/webppl
Browserify