Turning V8 Javascript into a probabilistic programming language