Described how to debug webppl programs in README